Moped

MaRDI QIDQ32086swMATHFDO

Official website http://www2.informatik.uni-stuttgart.de/fmi/szs/tools/moped/

Cited in

(9)

• Faster algorithms for weighted recursive state machines
• CVPP
• Sawja
• jMoped
• ProMoVer
• MAVEN
• Bebop
• Reducing concurrent analysis under a context bound to sequential analysis
• ProMoVer: modular verification of temporal safety properties

This page was built for software: Moped