| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings | | 978-3-540-29209-8 | 2008 | Yih-Kuen Tsay |
| Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings | | 978-3-540-22342-9 | 2008 | Rajeev Alur |
| Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... Notes in Computer Science, Band 2529) | | 978-3-540-00141-6 | 2009 | Moshe Y. Vardi |
| Model Checking | | 978-0-262-03270-4 | 1999 | Edmund M. Clarke Jr. · Orna Grumberg |
| Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers | | 978-3-642-00430-8 | 2009 | M.J. Wooldridge |
| Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 | | 978-0-8218-0579-4 | 1997 | Vaughan R. Pratt · Gerard J. Holzmann |
| Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers | | 978-3-642-04693-3 | 2009 | Saddek Bensalem |
| Software Reliability Methods | | 978-0-387-95106-5 | 2001 |
| Time for Verification: Essays in Memory of Amir Pnueli | | 978-3-642-13753-2 | 2010 | Zohar Manna |
| Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, ... Computer Science and General Issues) | | 978-3-540-78162-2 | 2008 | Francesco Logozzo · Leonore D. Zuck |