P. Ganty, R. Majumdar, und A. Rybalchenko. POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Seite 102--113. New York, NY, USA, ACM, (2009)
A. Pnueli, J. Xu, und L. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, Seite 107--122. London, UK, Springer-Verlag, (2002)
G. Delzanno, J. Raskin, und L. Begin. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, Seite 298--310. London, UK, Springer-Verlag, (2001)
G. Basler, M. Mazzucchi, T. Wahl, und D. Kroening. CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification, Seite 64--78. Berlin, Heidelberg, Springer-Verlag, (2009)
P. Godefroid, und P. Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, Seite 332--342. London, UK, Springer-Verlag, (1992)
V. Kahlon. LICS '08: Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science, Seite 181--192. Washington, DC, USA, IEEE Computer Society, (2008)
P. Wolper, und V. Lovinfosse. Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, Seite 68--80. London, UK, Springer-Verlag, (1990)
K. Baukus, S. Bensalem, Y. Lakhnech, und K. Stahl. TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Seite 188--203. London, UK, Springer-Verlag, (2000)