On-the-fly model checking

Dihomotopy as a Tool in State Space Analysis

LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics

The Beginning of Model Checking: A Personal Perspective

25 Years of Model Checking

Using formal specifications to support testing

ACM Computing Surveys (CSUR)

Partial Order Reductions Using Compositional Confluence Detection

FM '09 Proceedings of the 2nd World Congress on Formal Methods

Automated verification of resource requirements in multi-agent systems using abstraction

MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence

Verification of orchestration systems using compositional partial order reduction

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering

Meanings of model checking

Concurrency, Compositionality, and Correctness

Exp.Open 2.0: a flexible tool integrating partial order, compositional, and on-the-fly verification methods

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods