From f621808e9b5c0b7534c5b1b4e2a67a31bd566245 Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sun, 29 Sep 2019 16:21:15 +0100 Subject: [PATCH] Readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 350c95e..ed28102 100644 --- a/README.md +++ b/README.md @@ -56,7 +56,7 @@ $ ./reactics smt examples/smt/scalable_chain.py 2 5 1 ### Reaction synthesis -To test the reaction synthesis approach on a mutual exclution protocol modelling three processes, run the following command: +To test the reaction synthesis approach on a mutual exclution protocol modelling three processes, run the following command (three processes, parametric verification, result optimised with OptSMT): ``` $ ./reactics smt examples/smt/mutex_param.py 3 p -o