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:

...