model checking

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)

Kedar S. Namjoshi, Andreas Podelski

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science)

Mario Bravetti, Gianluigi Zavattaro, Manuel Núñez

Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (Lecture Notes in Computer Science)

Radhia Cousot

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Lecture Notes in Computer Science)

Zhiming Liu, Jifeng He

Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences ... 2005 (Lecture Notes in Computer Science)

Vladimiro Sassone

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)

Steven Eker, Patrick Lincoln, Carolyn Talcott, José Meseguer, Manuel Clavel, Francisco Durán, Narciso Martí-Oliet

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science)

Thomas Ball, Jones, Robert B.

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Transactions on Computational Systems Biology VII (Lecture Notes in Computer Science)

Corrado Priami

Theory and Applications of Models of Computation: Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings (Lecture Notes in Computer Science)

Jin-Yi Cai, Angsheng Li, S. Barry Cooper