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 39 | 7.1-9.fc38 | - |
| Fedora 38 | 7.1-9.fc38 | - |
File a new bug report »
Package Info
Package Info
- Upstream: https://pvs.csl.sri.com/
- License(s): GPL-2.0-or-later AND GPL-3.0-or-later AND MIT AND LicenseRef-Fedora-Public-Domain AND Knuth-CTAN
- Maintainer: orphan
You can contact the maintainers of this package via email at
pvs-sbcl dash maintainers at fedoraproject dot org.
Sources on Pagure