Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He
Aalta: an LTL satisfiability checker over Infinite/Finite traces
FSE, 2014.
@inproceedings{FSE-2014-LiYP0H, author = "Jianwen Li and Yinbo Yao and Geguang Pu and Lijun Zhang and Jifeng He", booktitle = "{Proceedings of the 22nd Symposium on the Foundations of Software Engineering}", doi = "10.1145/2635868.2661669", isbn = "978-1-4503-3056-5", pages = "731--734", publisher = "{ACM}", title = "{Aalta: an LTL satisfiability checker over Infinite/Finite traces}", year = 2014, }