Methods for Mu-calculus Model Checking: A Tutorial (Abstract)
No abstract available.
Related papers
- A tutorial on computational classical logic and the sequent calculus JFP 2018
- Classical Logic, Continuation Semantics and Abstract Machines JFP 1998
- Model-Checking: A Tutorial Introduction SAS 1999
- Building parallel programming language constructs in the AbleC extensible C compiler framework: a PPoPP tutorial PPoPP 2019
- The lambda calculus is algebraic JFP 2002
- Automatic Abstraction Techniques for Propositional µ-calculus Model Checking CAV 1997
- A Tutorial on Domain Theory in Abstract Interpretation SAS 1998
- Infinite Games and Verification (Extended Abstract of a Tutorial) CAV 2002