Moped - A Model-Checker for Pushdown Systems.
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Chatterjee, Krishnendu; Kragl, Bernhard; Mishra, Samarth; Pavlogiannis, Andreas: Faster algorithms for weighted recursive state machines (2017)
- Soleimanifard, Siavash; Gurov, Dilian; Huisman, Marieke: ProMoVer: modular verification of temporal safety properties (2011)
- Lal, Akash; Reps, Thomas: Reducing concurrent analysis under a context bound to sequential analysis (2009)