Transformational Development of Reactive Systems.

摘要

This is the final technical report tor the project. It presents an enumeration of the research results of the effort, including a list of papers published and a brief summary of the content or the papers. The results were primarily in the area of compiler validation, formal methods, and verification. Applications or the work include reactive systems, as mentioned in the title of the effort, as well as more general software Systems.