1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Caleb Stanford, Margus Veanes
Identifying live and dead states in an abstract transition system is a recurring problem in formal verification; for example, it arises in our recent work on efficiently deciding r…