7 citations · 27 across the 17 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014★ 7 cited
Incremental Bounded Model Checking for Embedded Software (extended version)
Peter Schrammel, Daniel Kroening, Martin Brain +3
Program analysis is on the brink of mainstream in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and automated test case gene…
cs.LO2014
Speeding Up Logico-Numerical Strategy Iteration (extended version)
David Monniaux, Peter Schrammel
We introduce an efficient combination of polyhedral analysis and predicate partitioning. Template polyhedral analysis abstracts numerical variables inside a program by one polyhedr…