Saturation-based symbolic reachability analysis using conjunctive and disjunctive partitioning (2005)

by G Ciardo, A J Yu
Venue:In Correct Hardware Design and Verication Methods (CHARME