Proving More Properties with Bounded Model Checking.

Mohammad Awedh, Fabio Somenzi

Browse the full CAV paper archive.