Translate the Until/Release-Free LTL formual to NBA
Usage
python main.py aUb
aUb
: LTL formula you wanna test.
Installation instruction
Python3.X
Environment.- Download MSI here and install it.
- Add its
bin
path to your PC'sEnvironment Path
. - pip install graphviz.
Or You Can See The Demo Video
URL: https://www.bilibili.com/video/av81034357/
Background
Mainly based on the paper: 《On the Relationship between LTL Normal Forms and Buchi Automata 》