Projects



Changes between Version 4 and Version 5 of MoMoC


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

--

Legend:

Unmodified
Added
Removed
Modified

  • MoMoC

    v4 v5  
    22
    33The 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.
    4 Currently, MoMoC can verify CTL formulas on Referencenets and thus also on CPNs and P/T-Nets.
     4Currently, MoMoC can verify CTL formulas on Reference nets 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.
    66