Pages that link to "Item:Q1333273"
From MaRDI portal
The following pages link to Temporal proof methodologies for timed transition systems (Q1333273):
Displaying 32 items.
- Learning of event-recording automata (Q604474) (← links)
- Modular abstractions for verifying real-time distributed systems (Q685095) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Automated compositional proofs for real-time systems (Q882449) (← links)
- Modeling and verification of real-time systems based on equations (Q882458) (← links)
- Automatic generation of path conditions for concurrent timed systems (Q947796) (← links)
- Using mappings to prove timing properties (Q1200918) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- An embedding of timed transition systems in \(HOL\) (Q1309256) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Proving properties of continuous systems: Qualitative simulation and temporal logic (Q1402734) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- Verification of clocked and hybrid systems (Q1579058) (← links)
- Deductive verification of real-time systems using STeP (Q1589585) (← links)
- Verification, refinement and scheduling of real-time programs (Q1589590) (← links)
- Proof assistance for real-time systems using an interactive theorem prover (Q1603708) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- Slime mould games based on rough set theory (Q1797883) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- Compositional verification of real-time systems with explicit clock temporal logic (Q1918934) (← links)
- Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic (Q3321430) (← links)
- Timed Temporal Logics for Abstracting Transient States (Q3522919) (← links)
- (Q4003036) (← links)
- An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs (Q4209296) (← links)
- TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION (Q4275182) (← links)
- Dynamic networks of heterogeneous timed machines (Q4640311) (← links)
- (Q5094142) (← links)
- Verification in continuous time by discrete reasoning (Q5096392) (← links)
- The Unmet Challenge of Timed Systems (Q5170750) (← links)
- What good are digital clocks? (Q5204346) (← links)
- Factorizing proofs in timed CSP (Q5887513) (← links)
- Proving sequential function chart programs using timed automata (Q5958730) (← links)
