summaryrefslogtreecommitdiff
path: root/devel/pvs/DESCR
diff options
context:
space:
mode:
Diffstat (limited to 'devel/pvs/DESCR')
-rw-r--r--devel/pvs/DESCR4
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.