diff options
Diffstat (limited to 'devel/pvs/DESCR')
| -rw-r--r-- | devel/pvs/DESCR | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/devel/pvs/DESCR b/devel/pvs/DESCR new file mode 100644 index 00000000000..9c9b26656f3 --- /dev/null +++ b/devel/pvs/DESCR @@ -0,0 +1,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. |