Composable Formal Models for High-Assurance Fault Tolerant Networks
This Web page contains links to presentations and results
obtained as part of the DARPA Fault Tolerant Networks program
Mobile Maude Prototype
- Mobile Maude code, documentation, and example can be found
Last updated by
Carolyn Talcott firstname.lastname@example.org
27 July 2004.