Transformational Development of Reactive Systems
Abstract
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 2002
- Accession Number
- ADA405856
Entities
People
- Amir Pnueli
- Benjamin M. Goldberg
- Lenore Zuck
Organizations
- New York University