Automatically Generated CSP Provides Verification for occam-derived Logic Circuits.

Roger Peel, David Pizarro de la Iglesia

Browse the full PDPTA paper archive.