Model Checking Reconfigurable Processor Configurations for Safety Properties.

John Cochran, Deepak Kapur, Darko Stefanovic

Browse the full FPL paper archive.