Browsing Mathematics (Faculty of) by Author "Chaudhary, Sandeep Kumar"
Now showing items 1-1 of 1
-
Specification Based Bug Detection for Embedded Software
Chaudhary, Sandeep Kumar (University of Waterloo, 2014-11-05)Traditional compilers do not automatically analyze processor specifications, thousands of pages of which are available for modern processors. The specifications describe constraints and requirements for processors, and ...