blob: 9c9b26656f3b6723b5d39736f94a2c1cfe629d6a (
plain)
1
2
3
4
|
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.
|
