Software Open Access

FORKLIFT

Nicolas Mazzocchi

Researcher(s)
Kyveli Doveri; Pierre Ganty; Nicolas Mazzocchi

The program FORKLIFT is an inclusion checker for Büchi automata. It takes two automata as input, let us call the first A and the second B. Upon termination, FORKLIFT exit code is: "0" if L(A) is a subset of L(B), it is "1" if L(A) is NOT a subset of L(B), otherwise it is "127" when the inclusion has not been computed. The input format of the automata is described here: http://languageinclusion.org/doku.php?id=tools#the_ba_format

Files (727.0 kB)
Name Size
Mazzocchi/FORKLIFT-v1.0.zip
md5:fdaba96d4ff7077c440a830fb16e56d5
727.0 kB Download
72
6
views
downloads
All versions This version
Views 7272
Downloads 66
Data volume 4.4 MB4.4 MB
Unique views 4343
Unique downloads 66

Share

Cite as