Formal System Verification for Trustworthy Embedded Systems
June Andronick, Gerwin Klein · 2011
Abstract : This report summarizes the work done in AOARD project 094160, Formal System Verification for Trustworthy Embedded Systems. It begins by revisiting the original motivation and work plan, continues with a brief high-level summary of the project outcomes, and ends with four publications that describe the background and outcomes in depth.