Bounded Model Checking Using Satisfiability Solving (2001)

by Edmund Clarke , Armin Biere , Richard Raimi , Yunshan Zhu
Venue:Formal Methods in System Design
Citations:139 - 1 self