An Embedded Reachability Analyzer and Invariant Checker (ERAIC)

Ouiza Dahmoune, Robert de B. Johnston. An Embedded Reachability Analyzer and Invariant Checker (ERAIC). In Magdy S. Abadir, Jay Bhadra, Li-C. Wang, editors, 11th International Workshop on Microprocessor Test and Verification, MTV 2010, Austin, TX, USA, December 13-15, 2010. pages 47-50, IEEE, 2010. [doi]

Authors

Ouiza Dahmoune

This author has not been identified. Look up 'Ouiza Dahmoune' in Google

Robert de B. Johnston

This author has not been identified. Look up 'Robert de B. Johnston' in Google