An Erlang implementation of an LTL-to-Büchi translator.
Primary LanguageErlang
No issues in this repository yet.