Pages that link to "Item:Q5897951"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897951):
Displaying 8 items.
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- TAME: Using PVS strategies for special-purpose theorem proving (Q1601865) (← links)
- Proof assistance for real-time systems using an interactive theorem prover (Q1603708) (← links)
- Proving invariants of I/O automata with TAME (Q1857285) (← links)
- Improving translation of live sequence charts to temporal logic (Q2810977) (← links)
- Translation templates to support strategy development in PVS (Q2864361) (← links)
- A Formalized Theory for Verifying Stability and Convergence of Automata in PVS (Q3543661) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464767) (← links)