53 citations · 136 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★ 53 cited
Incremental Cardinality Constraints for MaxSAT
Ruben Martins, Saurabh Joshi, Vasco Manquinho +1
Maximum Satisfiability (MaxSAT) is an optimization variant of the Boolean Satisfiability (SAT) problem. In general, MaxSAT algorithms perform a succession of SAT solver calls to re…