Introduction to model checking
From MaRDI portal
Publication:3176359
Recommendations
Cites work
- scientific article; zbMATH DE number 1633145 (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 3767031 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 3492660 (Why is no real title available?)
- scientific article; zbMATH DE number 3550181 (Why is no real title available?)
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 1324833 (Why is no real title available?)
- scientific article; zbMATH DE number 1330907 (Why is no real title available?)
- scientific article; zbMATH DE number 734956 (Why is no real title available?)
- scientific article; zbMATH DE number 1122795 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 7088727 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- scientific article; zbMATH DE number 6783107 (Why is no real title available?)
- scientific article; zbMATH DE number 3322506 (Why is no real title available?)
- 25 years of model checking. History, achievements, perspectives
- A completeness theorem in modal logic
- An axiomatic basis for computer programming
- Classes of Recursively Enumerable Sets and Their Decision Problems
- Defining liveness
- From model checking to model measuring
- From non-preemptive to preemptive scheduling using synchronization synthesis
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Introduction to Discrete Event Systems
- Isabelle/HOL. A proof assistant for higher-order logic
- LSCs: Breathing life into message sequence charts
- Learning programs from noisy data
- Model checking.
- Model-Based Software Testing and Analysis with C#
- Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
- Proving the Correctness of Multiprocess Programs
- Quantitative abstraction refinement
- Results on the propositional \(\mu\)-calculus
- Shield synthesis: runtime enforcement for reactive systems
- Simulation distances
- Software reliability methods. Foreword by Edmund M. Clarke
- Statecharts: a visual formalism for complex systems
- Symbolic execution and program testing
- Temporal specifications with accumulative values
- Time for verification. Essays in memory of Amir Pnueli
- Verification and Control of Hybrid Systems
- Verification of sequential and concurrent programs
- “Sometimes” and “not never” revisited
Cited in
(17)- Temporal Logic for Programmable Logic Controllers
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Meanings of model checking
- scientific article; zbMATH DE number 2038698 (Why is no real title available?)
- A partial approach to model checking
- Combining model checking and testing
- Transfer of model checking to industrial practice
- scientific article; zbMATH DE number 1746645 (Why is no real title available?)
- Explicit-state model checking
- scientific article; zbMATH DE number 1487860 (Why is no real title available?)
- Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
- Easy instances for model checking
- Model checking techniqes for the analysis of reactive systems
- First order Büchi automata and their application to verification of LTL specifications
- Tutorial on Model Checking: Modelling and Verification in Computer Science
- Handbook of model checking
- The Beginning of Model Checking: A Personal Perspective
Describes a project that uses
Uses Software
This page was built for publication: Introduction to model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3176359)
