LogoopenSUSE Build Service > Projects
Sign Up | Log In

LTL 2 BA: Translator from LTL to Büchi automata

Translator needed as part of frama-c.

Source Files

Filename Size Changed Actions
ltl2ba-1.1.tar.gz 28.9 KB Download File
ltl2ba.changes 335 Bytes Download File
ltl2ba.spec 1.4 KB Download File

Comments for home:ptrommler:formal (0)

Login required, please login or signup in order to comment