scientific article; zbMATH DE number 177237

zbMATH Open0786.68069MaRDI QIDQ4037087FDOQ4037087

Authors: Antti Valmari 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 177511
• scientific article; zbMATH DE number 1059329
• A stubborn attack on state explosion
• Publication:4507831
• On Stubborn Sets in the Verification of Linear Time Temporal Properties

zbMATH Keywords

automatic verification of concurrent systemsreduced state spacelinear time temporal logic specifications

Mathematics Subject Classification ID

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

Cited In (25)

• A technique of state space search based on unfolding
• Title not available (Why is that?)
• Specification and automatic verification of self-timed queues
• The Birth of Model Checking
• Title not available (Why is that?)
• Comparing transition systems with independence and asynchronous transition systems
• Covering steps graphs of time Petri nets
• Verification of distributed programs using representative interleaving sequences
• Using integer programming to verify general safety and liveness properties
• States that are far from being stabilizer states
• Title not available (Why is that?)
• A stubborn attack on state explosion
• Formal relationships between geometrical and classical models for concurrency
• Combining partial-order reductions with on-the-fly model-checking.
• Compositional verification of asynchronous concurrent systems using CADP
• Stubborn sets for simple linear time properties
• Modular synthesis of timed circuits using partial orders on LPNs
• Bounded-memory algorithms for verification on-the-fly
• Integer programming in the analysis of concurrent systems
• On Stubborn Sets in the Verification of Linear Time Temporal Properties
• Model-checking for real-time systems
• Title not available (Why is that?)
• Exploiting interleaving semantics in symbolic state-space generation
• Using partial orders for the efficient verification of deadlock freedom and safety properties
• Title not available (Why is that?)

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