NASA NTRS · 20210026165
Proof Mate: An Interactive Proof Helper for PVS (Tool Paper)
Abstract
This paper presents Proof Mate, an interactive proof helper for the PVS verification system. The helper is integrated in VSCode-PVS, the Visual Studio Code extension for PVS. It extends the capabilities of VSCode-PVS by introducing new functionalities for suggesting proof commands, sketching proof attempts, and repairing broken proofs during interactive proof sessions. This work further aligns VSCode-PVS to the functionalities provided by modern development tools, with the ultimate aim to facilitate the adoption of formal methods in engineering practices and education.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Paolo Masci, Aaron Dutle. Proof Mate: An Interactive Proof Helper for PVS (Tool Paper). https://ntrs.nasa.gov/citations/20210026165
Cite the original work for its findings. Save a collection to share your selection of sources.