TAME

MaRDI QIDQ40417swMATHFDO

Official website https://link.springer.com/article/10.1023%2FA%3A1018913028597

Described by source

• TAME: Using PVS strategies for special-purpose theorem proving

Cited in

(8)

• A Brief Overview of PVS
• Verification of distributed systems with local-global predicates
• SCR
• Specware
• Kit
• EROS
• Operating system verification---an overview
• Translation templates to support strategy development in PVS

This page was built for software: TAME