Automated assume-guarantee reasoning for simulation conformance (2005)

by S Chaki, E M Clarke, N Sinha, P Thati
Venue:In CAV, LNCS 3576