scientific article; zbMATH DE number 4119617
From MaRDI portal
Publication:4733399
zbMATH Open0683.68031MaRDI QIDQ4733399FDOQ4733399
Authors: Zohar Manna, Amir Pnueli 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1487859
- A temporal module for logical frameworks
- Paving the way for temporal grounding
- scientific article; zbMATH DE number 1696507
- A framework for knowledge-based temporal abstraction
- An introduction to constraint-based temporal reasoning
- Foundations of Temporal Conceptual Data Models
- Temporal variables and the binding in the temporal database
- Temporal annotated constraint logic programming
Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Cited In (39)
- Automated analysis of mutual exclusion algorithms using CCS
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Past–future separation and normal forms in temporal predicate logic specifications
- Automatic verification of distributed systems: the process algebra approach.
- Specification of abstract dynamic-data types: A temporal logic approach
- Title not available (Why is that?)
- Representing regular languages of infinite words using mod 2 multiplicity automata
- Automated Technology for Verification and Analysis
- Opportunistic monitoring of multithreaded programs
- Reasoning about programs by exploiting the environment
- Temporal logic and categories of Petri nets
- Axioms for real-time logics
- Testing preorders for probabilistic processes can be characterized by simulations
- Title not available (Why is that?)
- Logics and decidability for labelled pre- and partially ordered Kripke structures
- Modal logics for communicating systems
- On using temporal logic for refinement and compositional verification of concurrent systems
- A hierarchy of temporal logics with past
- A compositional framework for fault tolerance by specification transformation
- Title not available (Why is that?)
- Local model checking for infinite state spaces
- On undecidability of propositional temporal logics on trace systems
- Proving partial order properties
- Decision procedures for a deontic logic modeling temporal inheritance of obligations
- Specification in CTL + past for verification in CTL.
- A computer scientist looks at game theory.
- Completing the temporal picture
- Linear-time temporal logic with event freezing functions
- Verification of reactive systems using temporal logic with clocks
- Towards better heuristics for solving bounded model checking problems
- Title not available (Why is that?)
- An action based framework for verifying logical and behavioural properties of concurrent systems
- Verifying properties of HMS machine specifications of real-time systems
- Simulation, reduction and preservation of correctness properties of parallel systems
- Application of the composition principle to unity-like specifications
- Model checking properties on reduced trace systems
- Specification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressions
- On the strength of temporal proofs
- Deontic action logic, atomic Boolean algebras and fault-tolerance
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 Q4733399)
