scientific article; zbMATH DE number 3982506
From MaRDI portal
Publication:3746875
Recommendations
Cited in
(70)- A multiprocess network logic with temporal and spatial modalities
- Specification and verification of database dynamics
- Fairness and the axioms of control predicates
- Resolution-based approach to compatibility analysis of interacting automata
- Programming in metric temporal logic
- A theory of implementation and refinement in timed Petri nets
- Functional specification and proof of correctness for time dependent behaviour of reactive systems
- Completing the temporal picture
- Operational specification with joint actions: Serializable databases
- Defining conditional independence using collapses
- Sooner is safer than later
- Verification of distributed programs using representative interleaving sequences
- A theory of timed automata
- Property preserving abstractions for the verification of concurrent systems
- A temporal logic-based approach for the description of object behavior evolution
- A first step towards implementing dynamic algebraic dependences
- Verification of reactive systems. Formal methods and algorithms.
- The automata-theoretic approach to verification of reactive systems
- Verification of reactive systems using temporal logic with clocks
- Decidable fragments of first-order temporal logics
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- Symbolic checking of fuzzy CTL on fuzzy program graph
- Priority as extremal probability
- Testing preorders for probabilistic processes.
- On agent-based software engineering
- Modeling and visualizing object-oriented programs with Codecharts
- Capacitated automata and systems
- Prime languages
- Parameterised verification for multi-agent systems
- An axiomatization of PCTL*
- scientific article; zbMATH DE number 1670567 (Why is no real title available?)
- Specifying and verifying reactive systems in a multi-language environment
- Modelling timed reactive systems from natural-language requirements
- Functional specification of hardware via temporal logic
- Temporal verification of reactive systems: response
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
- scientific article; zbMATH DE number 3926220 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- Temporal logic and applications—a tutorial
- scientific article; zbMATH DE number 139996 (Why is no real title available?)
- Logical specification of reactive and real-time systems
- scientific article; zbMATH DE number 1318522 (Why is no real title available?)
- Decidability and incompleteness results for first-order temporal logics of linear time
- Specifying and verifying external behaviour of fair input/output automata by using the temporal logic of actions
- scientific article; zbMATH DE number 1390253 (Why is no real title available?)
- scientific article; zbMATH DE number 1405446 (Why is no real title available?)
- scientific article; zbMATH DE number 1444725 (Why is no real title available?)
- Property-based testing for Spark Streaming
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Multi-Valued Reasoning about Reactive Systems
- Application of temporal logic to program specification
- On specifications and proofs of timed circuits
- LTL-specification for development and verification of control programs
- Error diagnosis in finite communicating systems
- Efficient loop conditions for bounded model checking hyperproperties
- Automated temporal reasoning about reactive systems
- Deriving liveness goals from temporal logic specifications
- \textit{AP}-observation automata for abstraction-based verification of continuous-time systems
- MITL model checking via generalized timed automata and a new liveness algorithm
- Modular model checking
- State machines for large scale computer software and systems
- Multiple interdependent simple temporal networks with uncertainty: a semi-decentralized multi-agent model with shared control of activity durations
- Robustness of temporal logic specifications for continuous-time signals
- Symbolic verification and control of continuous-time systems via \textit{AP}-observation automata
- A probabilistic dynamic logic
- Verifying specifications in the language L against temporal properties nonexpressible in this language
- Event fairness and non-interleaving concurrency
- On the interpretability of arithmetic in temporal logic
- Safety and liveness from a methodological point of view
- Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent 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 Q3746875)
