jrclogic/SMCDEL: v1.1.0

Software OPEN SOURCE
Malvin Gattinger;
(2019)

<p>New:</p> <ul> <li>minimization under bisimulation</li> <li>dynamic operators in formulas via <code>Data.Dynamic</code></li> <li>multipointed models, action models, structures and events</li> <li>added Cheryl's Birthday and Cheryl's Age examples</li> ... View more
Share - Bookmark

  • Download from
    Zenodo via Zenodo (Software, 2019)
  • Cite this software