Formal System Verification for Trustworthy Embedded Systems

摘要

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.