PVS#: Streamlined Tacticals for PVS

DOI10.1016/j.entcs.2006.10.057zbMath1277.68242OpenAlexW2169789783MaRDI QIDQ2864359

Florent Kirchner, César A. Muñoz

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.057

zbMATH Keywords

monadsstrategiesPVStacticsproof languagestacticals

Mathematics Subject Classification ID

Related Items (3)

Tactics for hierarchical proof ⋮ A tactic language for refinement of state-rich concurrent specifications ⋮ The proof monad

Uses Software

• Coq
• PVS
• ALF

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: PVS#: Streamlined Tacticals for PVS