scientific article; zbMATH DE number 15894

MaRDI QIDQ3972532zbMATH OpenFDO

Authors Marco Danelutto, Andrea Masini

Publication date 25 June 1992

zbMATH Keywords

model checkingpropositional temporal logicconcurrent transition systems

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) Logic in computer science (03B70)

Recommendations

• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic
• On using temporal logic for refinement and compositional verification of concurrent systems
• scientific article; zbMATH DE number 4081518
• scientific article; zbMATH DE number 4119598
• scientific article; zbMATH DE number 52331
• Temporal logics for concurrent recursive programs: satisfiability and model checking
• Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
• Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems
• scientific article; zbMATH DE number 3932379

Cited in

(10)

• UNITY and Büchi automata
• scientific article; zbMATH DE number 4001471 (Why is no real title available?)
• Proving properties of continuous systems: Qualitative simulation and temporal logic
• Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic
• scientific article; zbMATH DE number 4119598 (Why is no real title available?)
• Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
• scientific article; zbMATH DE number 7311251 (Why is no real title available?)
• Static analysis for state-space reductions preserving temporal logics
• scientific article; zbMATH DE number 4081518 (Why is no real title available?)
• TTL : a formalism to describe local and global properties of distributed systems

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