An Integrated Development Environment for the Prototype Verification System

Autor:	Masci, Paolo, Muñoz, César A.
Rok vydání:	2019
Předmět:	Computer Science - Software Engineering D.2.6 Integrated Environments D.2.4 Software/Program Verification
Zdroj:	EPTCS 310, 2019, pp. 35-49
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.310.5
Popis:	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. Comment: In Proceedings F-IDE 2019, arXiv:1912.09611
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1912.10632 Zobrazit plný text záznamu View this record from Arxiv