*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***
CRASH Methodology for Correct-by-construction Attack-tolerant Systems
Also see the main CRASH project web page.
...
: CRASH Project Home | About CRASH | Software | People | Publications
Background
Our method uses formal proofs of high-level system requirements then to synthesize code from the proven specification. Within our work on distributed systems we use the following concepts:
...