Model-checking. A tutorial introduction
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1746645
- Introduction to model checking
- scientific article; zbMATH DE number 2020179
- Tutorial on Model Checking: Modelling and Verification in Computer Science
- Model Checking: From Tools to Theory
- scientific article; zbMATH DE number 2080188
- Handbook of model checking
- A partial approach to model checking
Cited in
(56)- A partial approach to model checking
- Enhancing model checking in verification by AI techniques
- Applying model-checking to solve queries on semistructured data
- Pragmatics of model checking: An STTT special section
- Model checking at IBM
- A planner agent that tries its best in presence of nondeterminism
- Generative program analysis and beyond: the power of domain-specific languages (invited paper)
- Model checking approach to automated planning
- Book review of: E. M. Clarke (ed.) et al., Handbook of model checking
- A proof theory for model checking
- Compositional verification of asynchronous concurrent systems using CADP
- Easy instances for model checking
- Model checking.
- scientific article; zbMATH DE number 1701755 (Why is no real title available?)
- Model-checking the preservation of temporal properties upon feature integration
- Formal sequentialization of distributed systems via program rewriting
- Automated formal analysis and verification: an overview
- Inference of field-sensitive reachability and cyclicity
- Quality engineering: leveraging heterogeneous information (invited talk)
- Verification of component-based system using model checking
- Introduction to model checking
- Model checking learning agent systems using Promela with embedded C code and abstraction
- Model checking technology and tool development based on Groebner base
- \(2^{5}\) years of model checking
- The Birth of Model Checking
- The Beginning of Model Checking: A Personal Perspective
- Verification Technology Transfer
- Fifteen Years of Formal Property Verification in Intel
- Hardware acceleration for model checking
- The High Road to Formal Validation:
- Tutorial on Model Checking: Modelling and Verification in Computer Science
- Local search in model checking
- scientific article; zbMATH DE number 88991 (Why is no real title available?)
- A formal model for service-oriented interactions
- scientific article; zbMATH DE number 1953017 (Why is no real title available?)
- scientific article; zbMATH DE number 2038698 (Why is no real title available?)
- scientific article; zbMATH DE number 2080188 (Why is no real title available?)
- scientific article; zbMATH DE number 1744972 (Why is no real title available?)
- Handbook of model checking
- Formal communication elimination and sequentialization equivalence proofs for distributed system models
- scientific article; zbMATH DE number 1903371 (Why is no real title available?)
- scientific article; zbMATH DE number 2090135 (Why is no real title available?)
- scientific article; zbMATH DE number 910719 (Why is no real title available?)
- Refining and compressing abstract model checking
- Meanings of model checking
- From EU projects to a family of model checkers. From Kandinsky to KandISTI
- Model checking of biological systems
- Database Theory - ICDT 2005
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- An e-business assurance technique based on model-checking
- Fundamental Approaches to Software Engineering
- Computer Aided Verification
- A theory of hints in model checking.
- A state/event-based model-checking approach for the analysis of abstract system properties
- Interpretable biomedical named entity recognition via BLSTM with Talmudic public announcement logic
- From NuSMV to SPIN: Experiences with model checking flight guidance systems
This page was built for publication: Model-checking. A tutorial introduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494387)
