Commit ccbae29f authored by Jaime Arias's avatar Jaime Arias
Browse files

update authors

parent 0678d4a0
......@@ -126,6 +126,7 @@ on Ubuntu 18.04.4 LTS.
- Kais Klai (University of Paris 13, Sorbonne Paris Cite CNRS UMR 7030 LIPN
- Chiheb Ameur Abid (Faculty of Sciences of Tunis, University of Tunis El Manar, 2092, Tunis, Tunisia)
- Jaime Arias (University of Paris 13, Sorbonne Paris Cite CNRS UMR 7030 LIPN)
- Sami Evangelista (University of Paris 13, Sorbonne Paris Cite CNRS UMR 7030 LIPN)
## Abstract
......@@ -141,4 +142,4 @@ propositions involved in the formula to be checked could be either
state-based or event-based propositions.
We have implemented the proposed model checker within a C++ prototype and
compared our preliminary results with the state of the art model checkers.
compared our preliminary results to LTSmin model checker.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment