PVS

0 stars0 forks0 contributors

Overview

, the Prototype Verification System, and NASAlib, a collection of formal development libraries

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Created

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic

a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models