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
(39)- Deontic action logic, atomic Boolean algebras and fault-tolerance
- Automated analysis of mutual exclusion algorithms using CCS
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Automatic verification of distributed systems: the process algebra approach.
- Specification of abstract dynamic-data types: A temporal logic approach
- Past–future separation and normal forms in temporal predicate logic specifications
- scientific article; zbMATH DE number 3898203 (Why is no real title available?)
- Representing regular languages of infinite words using mod 2 multiplicity automata
- Automated Technology for Verification and Analysis
- Reasoning about programs by exploiting the environment
- Opportunistic monitoring of multithreaded programs
- Temporal logic and categories of Petri nets
- Testing preorders for probabilistic processes can be characterized by simulations
- Axioms for real-time logics
- scientific article; zbMATH DE number 3940713 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1471238 (Why is no real title available?)
- 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
- Verification of reactive systems using temporal logic with clocks
- Linear-time temporal logic with event freezing functions
- Towards better heuristics for solving bounded model checking problems
- scientific article; zbMATH DE number 3888909 (Why is no real title available?)
- Simulation, reduction and preservation of correctness properties of parallel systems
- An action based framework for verifying logical and behavioural properties of concurrent systems
- Verifying properties of HMS machine specifications of real-time 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
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)
