scientific article; zbMATH DE number 4119617
From MaRDI portal
Publication:4733399
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
Cited in
(41)- Simulation, reduction and preservation of correctness properties of parallel systems
- Specification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressions
- Completing the temporal picture
- Local model checking for infinite state spaces
- On undecidability of propositional temporal logics on trace systems
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Proving partial order properties
- Logics and decidability for labelled pre- and partially ordered Kripke structures
- A compositional framework for fault tolerance by specification transformation
- Specification of abstract dynamic-data types: A temporal logic approach
- A computer scientist looks at game theory.
- Verification of reactive systems using temporal logic with clocks
- Testing preorders for probabilistic processes can be characterized by simulations
- Model checking properties on reduced trace systems
- Specification in CTL + past for verification in CTL.
- scientific article; zbMATH DE number 3888909 (Why is no real title available?)
- Linear-time temporal logic with event freezing functions
- Past–future separation and normal forms in temporal predicate logic specifications
- scientific article; zbMATH DE number 3898203 (Why is no real title available?)
- scientific article; zbMATH DE number 3940713 (Why is no real title available?)
- scientific article; zbMATH DE number 1471238 (Why is no real title available?)
- Temporal logic and categories of Petri nets
- Reasoning about programs by exploiting the environment
- Decision procedures for a deontic logic modeling temporal inheritance of obligations
- Application of the composition principle to unity-like specifications
- Automated Technology for Verification and Analysis
- Modal logics for communicating systems
- Axioms for real-time logics
- Towards better heuristics for solving bounded model checking problems
- Representing regular languages of infinite words using mod 2 multiplicity automata
- An action based framework for verifying logical and behavioural properties of concurrent systems
- Verifying properties of HMS machine specifications of real-time systems
- Opportunistic monitoring of multithreaded programs
- A hierarchy of temporal logics with past
- On using temporal logic for refinement and compositional verification of concurrent systems
- Concurrent IMP
- ConcurrentHOL
- On the strength of temporal proofs
- Deontic action logic, atomic Boolean algebras and fault-tolerance
- Automated analysis of mutual exclusion algorithms using CCS
- Automatic verification of distributed systems: the process algebra approach.
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)
