TAME

swMATH28703MaRDI QIDQ40417FDOQ40417

Author name not available (Why is that?)

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