Stirewalt and Dillon receive NSF award

Kurt Stirewalt and Laura Dillon have been awarded a grant from the National Science Foundation for the project entitled "Using Contracts to Support Development, Verification, and Maintenance of Multi-Threaded Systems."

A principal difficulty for the design of high-assurance software is to safely accommodate and optimize concurrency and synchronization. This project will investigate a promising "design for verification" (D4V) approach to engineering high-assurance systems. A D4V approach based on synchronization contracts will provide the high level of abstraction needed to support verification while separating synchronization and functional concerns, as needed to facilitate development and long-term maintenance.

(Date Posted: 2007-06-22)