Changes between Version 13 and Version 14 of MoMoC

Timestamp:

Jan 12, 2020, 11:39:04 PM (5 years ago)

Author:

5willrod

Comment:

--

MoMoC

@@ -1 @@
-==  MoMoC - A Modular Model Checker
+=  MoMoC - A Modular Model Checker
 
 The MoMoC Plugin is a modular model-checking tool designed to be able to verify all formalism that Renew can simulate, most notably including the Reference net formalism.
@@ -14 +14 @@
 As the names suggest, the user guide explains usage and features of the MoMoC plugin, whereas the developer guide is addressed to anyone who wants to extend the plugin.
 
-== User Guide
+= User Guide
 
 A detailed user guide will follow shortly.
 
-=== User Interface
+== User Interface
 
-=== Net Instance Quantifier
+== Net Instance Quantifier
 
-=== Syntax
+== Syntax
 
 MoMoC follows the general syntax of CTL.
@@ -51 +51 @@
 || || Number || ![0-9]+ || ||
 
-==== Examples
+=== Examples
 
 AG (NOT DEADLOCK) : ''"On all paths, globally, not deadlock yields"'' (Deadlock-freedom)
@@ -71 +71 @@
 **!InstancePredicate**: True if the total number of tokens in a place fulfills the given expression. Does not distinguish between token types.
 
-=== Results
+== Results
 
-== Developer Guide
+= Developer Guide
 
 A detailed developer guide will follow shortly.