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 (show merged sources derived from linked package)

Filename Size Changed Actions
ltl2ba-1.1.tar.gz 28.9 KB over 6 years ago Download File
ltl2ba.changes 335 Bytes over 6 years ago Download File
ltl2ba.spec 1.4 KB almost 3 years ago Download File

Comments for home:lorenz:formal (0)

Login required, please login or signup in order to comment