Model-Checking: A Tutorial Introduction
Abstract elided by the publisher.
Related papers
- An Introduction to Logical Relations and Parametric Polymorphism - Tutorial POPL 1993
- Recursive subtyping revealed JFP 2002
- Recursive subtyping revealed: functional pearl ICFP 2000
- Methods for Mu-calculus Model Checking: A Tutorial (Abstract) CAV 1995
- Creating repeatable, reusable experimentation pipelines with popper: tutorial PPoPP 2019
- The lambda calculus is algebraic JFP 2002
- Ur/Web: A Simple Model for Programming the Web POPL 2015
- Programming language semantics: It's easy as 1,2,3 JFP 2023