A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification.

Nicholas Moore, Mark Lawford

Browse the full TASE paper archive.