diff --git a/README.md b/README.md
index cda810a7845bbfc5dd436ec1b632e21c527d9533..f80d78ca7cab88c483bc47de5bc3c389353afefd 100644
--- a/README.md
+++ b/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