The program FORKLIFT is an inclusion checker for Büchi automata. The input format of the automata is described here: http://languageinclusion.org/doku.php?id=tools#the_ba_format
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
