aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2016-10-24 15:15:02 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2016-10-24 15:15:02 +0200
commitbe82e88ba01e2ad92cb8f8df6ad9bdb912f4a8a0 (patch)
tree833d82a491342b6e60747612e95f2c6931ff059f
parentc3a37128aec399f774af63a342b3a12c38c53852 (diff)
downloadPraspel-be82e88ba01e2ad92cb8f8df6ad9bdb912f4a8a0.zip
Praspel-be82e88ba01e2ad92cb8f8df6ad9bdb912f4a8a0.tar.gz
Praspel-be82e88ba01e2ad92cb8f8df6ad9bdb912f4a8a0.tar.bz2
Documentation: Add JML and `Hoa\Realdom` links.
-rw-r--r--README.md12
1 files changed, 7 insertions, 5 deletions
diff --git a/README.md b/README.md
index 93b3d9d..7b799b0 100644
--- a/README.md
+++ b/README.md
@@ -32,11 +32,13 @@ invariants etc. Specifications are written in the comments of the PHP
code. Praspel is used for manual, automated or **automatic software
validation and verification**.
-This language is inspired by JML but the difference is in the way to
-specify the data. PHP is dynamically and weakly typed. To specify the
-data, Praspel relies on **realistic domains**: Structures allowing to
-validate and generate data, with the ability to compose them to
-represent more **complex data**.
+This language is inspired by [JML](http://www.jmlspecs.org/) but the
+difference is in the way to specify the data. PHP is dynamically and
+weakly typed. To specify the data, Praspel relies on **realistic
+domains**: Structures allowing to validate and generate data, with the
+ability to compose them to represent more **complex data**. Realistic
+domains are implemented in
+[the `Hoa\Realdom` library](https://central.hoa-project.net/Resource/Library/Realdom).
## Data generators