Quelea: Verified Implementation of Weakly-Consistent Distributed Programs
Abstract
The objective of this effort is to create an integrated software infrastructure to enable the construction of composable and distributed verified components capable of being deployed in high-assurance environments.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Oct 05, 2016
- Source ID
- FA87501710006
Entities
People
- Sunil Prabhakar
Organizations
- Defense Advanced Research Projects Agency
- Rome Laboratory
- University of Virginia