Pages that link to "Item:Q1601865"
From MaRDI portal
The following pages link to TAME: Using PVS strategies for special-purpose theorem proving (Q1601865):
Displayed 6 items.
- TAME (Q40417) (← links)
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Translation Templates to Support Strategy Development in PVS (Q2864361) (← links)
- A Brief Overview of PVS (Q3543645) (← links)
- A Formalized Theory for Verifying Stability and Convergence of Automata in PVS (Q3543661) (← links)