VeriSiMPL (‘‘very simple’’)

Verification via biSimulations of Max-Plus Linear models

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

Documentation

Download

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