A new verification method for embedded systems.

Robert A. Thacker, Chris J. Myers, Kevin R. Jones, Scott Little

Browse the full ICCD paper archive.