Simulation Relations and Applications in Formal Methods
Book chapter (December 2022)
Tools and Algorithms for the Construction and Analysis of Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Combining model checking and deduction for I/O- automata
-
Altmetric BadgeChapter 2 A constraint oriented proof methodology based on modal transition systems
-
Altmetric BadgeChapter 3 A user guide to HyTech
-
Altmetric BadgeChapter 4 Modal μ-calculus, model checking and Gauß elimination
-
Altmetric BadgeChapter 5 Mona: Monadic second-order logic in practice
-
Altmetric BadgeChapter 6 Efficient simplification of bisimulation formulas
-
Altmetric BadgeChapter 7 Hierarchical compression for model-checking CSP or how to check 10 20 dining philosophers for deadlock
-
Altmetric BadgeChapter 8 A front-end generator for verification tools
-
Altmetric BadgeChapter 9 Analytic and locally approximate solutions to properties of probabilistic processes
-
Altmetric BadgeChapter 10 Model checking of non-finite state processes by finite approximations
-
Altmetric BadgeChapter 11 On automatic and interactive design of communicating systems
-
Altmetric BadgeChapter 12 Layers as knowledge transitions in the design of distributed systems
-
Altmetric BadgeChapter 13 Parallelism for free: Bitvector analyses ⇒ no state explosion!
Attention for Chapter 7:
Hierarchical compression for model-checking CSP or how to check 10 20 dining philosophers for deadlock