scientific article; zbMATH DE number 1059330

MaRDI QIDQ4353637zbMATH OpenFDO

Authors Doron Peled

Publication date 10 September 1997

zbMATH Keywords

model-checking concurrent programsstate-space explosion problem

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1507206
• A partial order approach to branching time logic model checking.
• Partial-Order Reduction
• scientific article; zbMATH DE number 1515293

Cited in

(17)

• A partial order approach to branching time logic model checking.
• State space reduction using partial order techniques
• Compositional state space reduction using untangled actions
• Partial order reduction for rewriting semantics of programming languages
• Partial Order Reduction for State/Event LTL
• Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
• Quantitative analysis under fairness constraints
• scientific article; zbMATH DE number 1497783 (Why is no real title available?)
• scientific article; zbMATH DE number 1507206 (Why is no real title available?)
• scientific article; zbMATH DE number 1515293 (Why is no real title available?)
• scientific article; zbMATH DE number 1538051 (Why is no real title available?)
• Stubborn Sets, Frozen Actions, and Fair Testing
• Model checking linear-time properties of probabilistic systems
• scientific article; zbMATH DE number 4197950 (Why is no real title available?)
• On Reduction Criteria for Probabilistic Reward Models
• Partial-order reduction in the weak modal mu-calculus
• Feature interaction detection by pairwise analysis of LTL properties -- A case study

Describes a project that uses

Uses Software

• HOL

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 Q4353637)