pvs-sbcl
Interactive theorem prover from SRI
PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. It is intended to capture the state-of-the-art in mechanized formal methods and to be sufficiently rugged that it can be used for significant applications. This build of PVS must be invoked as "pvs-sbcl", both to distinguish it from builds with other Common Lisp engines, and to distinguish it from /usr/sbin/pvs in the lvm2 package.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | 7.1-5.fc35 | - |
| Fedora 35 | 7.1-5.fc35 | - |
| Fedora 34 | 7.1-3.fc34 | - |
Package Info
- Upstream: http://pvs.csl.sri.com/
- License(s): GPLv2+ and BSD and Public Domain
- Maintainer: jjames
You can contact the maintainers of this package via email at
pvs-sbcl dash maintainers at fedoraproject dot org.
Sources on Pagure