在模型检测中将LTL公式转化成等价的自动机的c++实现-This piece of software provides a C++ implementation for an algorithm that converts a linear temporal logic formula to a generalised Büchi automaton

通用库，允许递归实时非确定性设置自动机施工时间的确定性-General purpose library that allows the construction of recursive deterministic automaton in real-time from non-deterministic settings