Discover Model Checking

Formal Modeling and Analysis of Timed Systems

Hardware and Software: Verification and Testing

Model Checking and Artificial Intelligence

Formal Methods for Industrial Critical Systems

Computation Engineering:

Testing of software and communication systems

Verification, model checking, and abstract interpretation

Formal methods for industrial critical systems

Tools and algorithms for the construction and analysis of systems

Abstraction, reformulation, and approximation

Tests and proofs

Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings

Model checking

Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings

Testing Software and Systems

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

Quality of software architectures and software quality

Formal approaches to software testing

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Verification, Model Checking, and Abstract Interpretation

Formal Methods Foundations and Applications Lecture Notes in Computer Science

Theoretical Aspects of Computing - ICTAC 2009

Formal methods