Library Management for PVS
The Prototype Verification System (PVS) is a specification language integrated with support tools and a theorem prover. One mechanism for extending and improving PVS is through the development of libraries, i.e., collections of mechanized theories in the language of PVS. This paper presents the pvs...
Saved in:
Institution: | Escuela Colombiana de Ingeniería |
---|---|
Main Authors: | , |
Format: | Artículo de revista |
Language: | English |
Published: |
2016-10-27
|
Subjects: | |
Online Access: | http://repositorio.escuelaing.edu.co/handle/001/464 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|