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]

Bibliographies