scientific article; zbMATH DE number 177234

MaRDI QIDQ4037084zbMATH OpenFDO

Authors Edmund Clarke

Publication date 18 May 1993

zbMATH Keywords

correctness of finite-state concurrent programsstate-transition graphtemporal logic model checking

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2196601
• Model-checking timed temporal logics
• scientific article; zbMATH DE number 6454071
• Decidability of model checking with the temporal logic EF
• A parametric analysis of the state-explosion problem in model checking
• A model checker for linear time temporal logic
• scientific article; zbMATH DE number 2086421
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Cited in

(12)

• A model checker for linear time temporal logic
• Static analysis for state-space reductions preserving temporal logics
• Verification of a technical system model with linear temporal logic
• Specification guidelines to avoid the state space explosion problem
• Abstract diagnosis for tccp using a linear temporal logic
• UTP and temporal logic model checking
• Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
• scientific article; zbMATH DE number 3932379 (Why is no real title available?)
• scientific article; zbMATH DE number 2081113 (Why is no real title available?)
• scientific article; zbMATH DE number 2102723 (Why is no real title available?)
• Efficient CTL verification via Horn constraints solving
• Model Checking – My 27-Year Quest to Overcome the State Explosion Problem

This page was built for publication:

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