Projects



Changes between Version 3 and Version 4 of MoMoC


Ignore:
Timestamp:
Jan 10, 2020, 12:54:27 AM (5 years ago)
Author:
5willrod
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • MoMoC

    v3 v4  
    11==  MoMoC - A Modular Model Checker
    22
    3 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.
     3The 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.
    44Currently, MoMoC can verify CTL formulas on Referencenets and thus also on CPNs and P/T-Nets.
    55It also features an interactive result visualisation for label based model checking approaches such as CTL model checking.