83 citations · 83 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017
Heuristics for Selecting Predicates for Partial Predicate Abstraction
Tuba Yavuz, Chelsea Metcalf
In this paper we consider the problem of configuring partial predicate abstraction that combines two techniques that have been effective in analyzing infinite-state systems: predic…
cs.LO2017
Partial Predicate Abstraction and Counter-Example Guided Refinement
Tuba Yavuz
In this paper we present a counter-example guided abstraction and approximation refinement (CEGAAR) technique for {\em partial predicate abstraction}, which combines predicate abst…