Moped

swMATH20266MaRDI QIDQ32086FDOQ32086

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: Moped