TAME

swMATH28703MaRDI QIDQ40417FDOQ40417

Author name not available (Why is that?)

Described by source

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

Cited In (4)

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

This page was built for software: TAME