An Integrated Development Environment for the Prototype Verification System

Paolo Masci, César A. Muñoz

The steep learning curve of formal technologies is a well-known barrier to the adoption of formal verification tools in industry. This paper presents VSCode-PVS, a modern integrate…