VeriSIMPL

MaRDI QIDQ26498swMATHFDO

Official website https://sourceforge.net/projects/verisimpl/

Cited in

(7)

• Computational techniques for reachability analysis of Max-Plus-Linear systems
• Maxplus
• FaPAS
• opaal
• Algorithm 97
• Conditional reachability of uncertain max plus linear systems
• \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems

This page was built for software: VeriSIMPL