Transfer of model checking to industrial practice

DOI10.1007/978-3-319-10575-8_23MaRDI QIDQ3176381zbMATH OpenOpenAlexFDO

Authors R. P. 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)

Recommendations

• Verification Technology Transfer
• Model checking at IBM
• scientific article; zbMATH DE number 1497767
• Introduction to model checking
• scientific article; zbMATH DE number 1746449

Cites work

• 25 years of model checking. History, achievements, perspectives
• A Machine-Oriented Logic Based on the Resolution Principle
• An abstract interpretation-based framework for software watermarking
• An axiomatic basis for computer programming
• Binary Decision Diagrams
• Bounded model checking using satisfiability solving
• Computer Aided Verification
• Constraint-Based Verification
• Counterexample-guided abstraction refinement for symbolic model checking
• Edinburgh LCF. A mechanized logic of computation
• From Church and Prior to PSL
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 2177632 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• scientific article; zbMATH DE number 734956 (Why is no real title available?)
• scientific article; zbMATH DE number 1956569 (Why is no real title available?)
• scientific article; zbMATH DE number 1497778 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3254905 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3304487 (Why is no real title available?)
• scientific article; zbMATH DE number 3328724 (Why is no real title available?)
• Interpolation and SAT-based model checking.
• Model Checking: From Tools to Theory
• Modelling, analysis and design of hybrid systems
• Program verification.
• Results on the propositional \(\mu\)-calculus
• SAT-Based Model Checking without Unrolling
• The Beginning of Model Checking: A Personal Perspective
• The Birth of Model Checking
• The Esterel synchronous programming language: Design, semantics, implementation
• Timing verification by successive approximation
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification Technology Transfer

Cited in

(4)

• scientific article; zbMATH DE number 1728495 (Why is no real title available?)
• Verification Technology Transfer
• scientific article; zbMATH DE number 1497767 (Why is no real title available?)
• Parameter synthesis for Markov models: covering the parameter space

Describes a project that uses

Uses Software

• CESAR
• CBMC
• ABC
• SLAM
• Esterel

This page was built for publication: Transfer of model checking to industrial practice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3176381)