Transfer of Model Checking to Industrial Practice

DOI10.1007/978-3-319-10575-8_23zbMath1392.68256OpenAlexW2803827522MaRDI QIDQ3176381

Robert Kurshan

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• SLAM
• CESAR
• CBMC
• ABC
• Esterel

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