1 paper
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…