PlumX Metrics
Embed PlumX Metrics

An integrated development environment for the prototype verification system

Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN: 2075-2180, Vol: 310, Page: 35-49
2019
  • 10
    Citations
  • 0
    Usage
  • 23
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Metrics Details

Conference Paper Description

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 integrated development environment for the Prototype Verification System (PVS). This new environment integrates the editing and proof management functionalities of PVS in Visual Studio Code, a popular code editor widely used by software developers. VSCode-PVS provides functionalities that developers expect to find in modern verification tools, but are not available in the standard Emacs front-end of PVS, such as auto-completion, point-and-click navigation of definitions, live diagnostics for errors, and literate programming. The main features and architecture of the environment are presented, along with a comparison with other similar tools.

Bibliographic Details

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know