Symbolic Model Checking.

Edmund M. Clarke, Kenneth L. McMillan, Srgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen

Browse the full CAV paper archive.