swMATH1486MaRDI QIDQ14221FDOQ14221
Author name not available (Why is that?)
Official website: http://www7.in.tum.de/um/bibdb/suwimont/jmoped-cav07.pdf
Cited In (12)
- Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
- Model checking procedural programs
- Faster algorithms for weighted recursive state machines
- Faster pushdown reachability analysis with applications in network verification
- MOPED
- Moped
- WALi
- Abstraction refinement with Craig interpolation and symbolic pushdown systems
- Reducing concurrent analysis under a context bound to sequential analysis
- Title not available (Why is that?)
- Modeling and verification of infinite systems with resources
- Rewriting Models of Boolean Programs
This page was built for software: jMoped
