VeriSiMPL (‘‘very simple’’)

VeriSiMPL

• is a software tool working on concrete MPL models implemented in Matlab, which exports abstract LTS models to SPIN in Promela language, optionally providing a Graphviz visualization of the LTS models

• can be also found on Sourceforge

Documentation

• comes as a text file:

  • VeriSiMPL1.2, Jan 2013

  • VeriSiMPL1.1, Aug 2012

  • VeriSiMPL1.0, Jun 2012

Download

• the toolbox as a compressed folder:

  • VeriSiMPL1.2

  • VeriSiMPL1.1

  • VeriSiMPL1.0

Contacts

• for questions and queries, please send an email to

  • D. Adzkiya, d dot adzkiya at tudelft dot nl

  • A. Abate, a dot abate at tudelft dot nl