modifié : README.md

README.md

@@ -53,6 +53,7 @@ arg1: specifies method of creating threads or/and specifies if modelchecking sho
      * lc : using lace framework and applying canonization on nodes
      * otfL : perform modelchecking on the fly using laceframework
      * otfP : perform modelchecking on the fly using pthread
+     * otfC : perform modelchecking on the fly using c++17 algorithms and a work-stealing approach for the construction of aggregates
 arg2: specify the number of threads/workers to be created
 arg3: specify the net to build its SOG
 arg4: specify the LTL formula file