VeriSIMPL

swMATH14598MaRDI QIDQ26498FDOQ26498

Author name not available (Why is that?)

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

Cited In (7)

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

This page was built for software: VeriSIMPL