scientific article; zbMATH DE number 15894
From MaRDI portal
Publication:3972532
zbMATH Open0746.68030MaRDI QIDQ3972532FDOQ3972532
Authors: Marco Danelutto, Andrea Masini 
Publication date: 25 June 1992
Title of this publication is not available (Why is that?)
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
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)
Cited In (10)
- UNITY and Büchi automata
- Title not available (Why is that?)
- Proving properties of continuous systems: Qualitative simulation and temporal logic
- Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic
- Title not available (Why is that?)
- Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
- Title not available (Why is that?)
- Static analysis for state-space reductions preserving temporal logics
- Title not available (Why is that?)
- 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)
