Moped

swMATH20266MaRDI QIDQ32086FDOQ32086

Author name not available (Why is that?)

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