Transfer of Model Checking to Industrial Practice
From MaRDI portal
Publication:3176381
DOI10.1007/978-3-319-10575-8_23zbMath1392.68256OpenAlexW2803827522MaRDI QIDQ3176381
Publication date: 20 July 2018
Published in: Handbook of Model Checking (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-10575-8_23
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Results on the propositional \(\mu\)-calculus
- 25 years of model checking. History, achievements, perspectives
- The Esterel synchronous programming language: Design, semantics, implementation
- Edinburgh LCF. A mechanized logic of computation
- Timing verification by successive approximation
- SAT-Based Model Checking without Unrolling
- An abstract interpretation-based framework for software watermarking
- Counterexample-guided abstraction refinement for symbolic model checking
- The Birth of Model Checking
- The Beginning of Model Checking: A Personal Perspective
- Verification Technology Transfer
- Model Checking: From Tools to Theory
- From Church and Prior to PSL
- Graph-Based Algorithms for Boolean Function Manipulation
- Binary Decision Diagrams
- Constraint-Based Verification
- Tools and Algorithms for the Construction and Analysis of Systems
- A Machine-Oriented Logic Based on the Resolution Principle
- An axiomatic basis for computer programming
- Computer Aided Verification
- Computer Aided Verification
- Modelling, analysis and design of hybrid systems
- Bounded model checking using satisfiability solving
This page was built for publication: Transfer of Model Checking to Industrial Practice