Automating Most Parts of Hardware Proofs in HOL.

Klaus Schneider, Ramayya Kumar, Thomas Kropf

Browse the full CAV paper archive.