Symbolic Detection of Assertion Dependencies for Bounded Model Checking.

Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvrinen, Natasha Sharygina

Browse the full FASE paper archive.