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.
Document ID
20220007348
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Date Acquired
May 11, 2022
Subject Category
Meeting Information
Meeting: NASA Formal Methods Symposium
Location: Pasadena, CA
Country: US
Start Date: May 24, 2022
End Date: May 27, 2022
Sponsors: California Institute of Technology
Funding Number(s)
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
Single Expert
Keywords
No Preview Available