Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving.

Nicholas Moore, Mark Lawford

Browse the full ICSE paper archive.