Model checking: A tutorial overview
From MaRDI portal
Temporal logic (03B44) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62)
Recommendations
Cited in
(19)- Partial model checking of modal equations: a survey
- Model checking techniqes for the analysis of reactive systems
- Book review of: E. M. Clarke (ed.) et al., Handbook of model checking
- Process-centric views of data-driven business artifacts
- Model checking.
- Formal sequentialization of distributed systems via program rewriting
- Automated formal analysis and verification: an overview
- Towards deriving test sequences by model checking
- Computation tree logic and NuSMV model checker
- Linear-Time Model Checking: Automata Theory in Practice
- The Beginning of Model Checking: A Personal Perspective
- Tutorial on Model Checking: Modelling and Verification in Computer Science
- On-the-fly emptiness check of transition-based Streett automata
- scientific article; zbMATH DE number 2020179 (Why is no real title available?)
- Model-checking. A tutorial introduction
- Formal communication elimination and sequentialization equivalence proofs for distributed system models
- scientific article; zbMATH DE number 910719 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Learning assumptions for compositional verification of timed automata
This page was built for publication: Model checking: A tutorial overview
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530804)
