A linear translation from CTL$^*$ to the first-order modal $μ$-calculus. (English)
Theor. Comput. Sci. 412, No. 28, 3129-3139 (2011).
1
LTL satisfiability checking. (English)
Int. J. Softw. Tools Technol. Transf. 12, No. 2, 123-137 (2010).
2
Simple bounded LTL model checking. (English)
Hu, Alan J. (ed.) et al., Formal methods in computer-aided design. 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15‒17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23738-0/pbk). Lecture Notes in Computer Science 3312, 186-200 (2004).
3
Start
Contact
Print
General Help
