Xidian Meeting Xidian Guide About Help Search Home Login Control Panel AddBookMark Cong Tian's MessageBoard


LTLNFBA is a tool that translate an LTL formula to Buchi automata. The tools is developed based on LTL2BA with the tranlating algorihtm changed and new rules for improving the translation.


Download and Installation

Source code of the newest version of LTLNFBA can be downloaded here (ltlnfba(v1).tar.gz  NOTE:  the suffix to be changed to .tar.gz).  To compile the source code, linux + gcc are required. 



Spin syntax as well as commands used in LTL2BA are all kept in LTLNFBA. So a user who can use LTL2BA can also use LTLNFBA.

Here you can find all the formulas involved in the experiment of LTNNFBA.