TAME: Using PVS strategies for special-purpose theorem proving
From MaRDI portal
Publication:1601865
DOI10.1023/A:1018913028597zbMath1001.68127OpenAlexW1870235599MaRDI QIDQ1601865
Publication date: 27 June 2002
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1018913028597
Related Items (6)
Verification of distributed systems with local-global predicates ⋮ A Brief Overview of PVS ⋮ A Formalized Theory for Verifying Stability and Convergence of Automata in PVS ⋮ TAME ⋮ Operating system verification---an overview ⋮ Translation Templates to Support Strategy Development in PVS
Uses Software
This page was built for publication: TAME: Using PVS strategies for special-purpose theorem proving
