6552870
doi
10.5281/zenodo.6552870
oai:zenodo.org:6552870
Kyveli Doveri
Pierre Ganty
Nicolas Mazzocchi
FORKLIFT
Nicolas Mazzocchi
url:https://github.com/Mazzocchi/FORKLIFT/tree/v1.0
info:eu-repo/semantics/openAccess
Other (Open)
<p>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</p>
Zenodo
2022-05-16
info:eu-repo/semantics/other
6552869
v1.0
1654613103.420098
726958
md5:fdaba96d4ff7077c440a830fb16e56d5
https://zenodo.org/records/6552870/files/Mazzocchi/FORKLIFT-v1.0.zip
public
https://github.com/Mazzocchi/FORKLIFT/tree/v1.0
Is supplement to
url
10.5281/zenodo.6552869
isVersionOf
doi