Model checking: Theory into practice
From MaRDI portal
Recommendations
Cited in
(65)- A partial approach to model checking
- Pragmatics of model checking: An STTT special section
- Model checking: a hardware design perspective
- Syntax-directed model checking of sequential programs
- Book review of: E. M. Clarke (ed.) et al., Handbook of model checking
- A proof theory for model checking
- Model checking, testing and verification working together
- Easy instances for model checking
- Model checking.
- Detecting errors before reaching them
- Model checking syllabi and student careers
- Specification guidelines to avoid the state space explosion problem
- Moving Arrows and Four Model Checking Results
- scientific article; zbMATH DE number 438994 (Why is no real title available?)
- Explicit-state model checking
- Automatic verification of intermittent systems
- scientific article; zbMATH DE number 3872694 (Why is no real title available?)
- Linear-Time Model Checking: Automata Theory in Practice
- The Birth of Model Checking
- The Beginning of Model Checking: A Personal Perspective
- New Challenges in Model Checking
- Discriminative Model Checking
- Hardware acceleration for model checking
- UTP and temporal logic model checking
- scientific article; zbMATH DE number 88991 (Why is no real title available?)
- Model checking lattices: using and reasoning about information orders for abstraction
- scientific article; zbMATH DE number 2081113 (Why is no real title available?)
- Regular model checking made simple and efficient
- Model-checking. A tutorial introduction
- ``Have I written enough properties? -- A method of comparison between specification and implementation
- Model checking using automata theory
- A model checking project at Philips Research
- Coarse-granular model checking in practice
- Exploiting hierarchical structure for efficient formal verification
- RTDT: A front-end for efficient model checking of synchronous timing diagrams
- Certifying model checkers
- Model checking the World Wide Web
- Automatic verification of reduction techniques in higher order logic
- Model checking RAISE applicative specifications
- scientific article; zbMATH DE number 2086963 (Why is no real title available?)
- Reproducing synchronization bugs with model checking
- Exploiting behavioral hierarchy for efficient model checking
- scientific article; zbMATH DE number 2102723 (Why is no real title available?)
- scientific article; zbMATH DE number 910719 (Why is no real title available?)
- Truth -- a verification platform for concurrent systems
- Model checking in bits and pieces
- Quo vadis explicit-state model checking
- From EU projects to a family of model checkers. From Kandinsky to KandISTI
- Verification: Theory and Practice
- Model Checking Software
- Tools and Algorithms for the Construction and Analysis of Systems
- Database Theory - ICDT 2005
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Integration of a Software Model Checker into Isabelle
- Fundamental Approaches to Software Engineering
- Extending Model Checking with Dynamic Analysis
- Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
- Verification, Model Checking, and Abstract Interpretation
- Computer Aided Verification
- Computer Aided Verification
- A theory of hints in model checking.
- Model checking: from hardware to software.
- Game-theoretic simulation checking tool
- Model checking dynamic memory allocation in operating systems
- From NuSMV to SPIN: Experiences with model checking flight guidance systems
This page was built for publication: Model checking: Theory into practice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472430)
