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:
...