CRASH Methodology for Correct-by-construction Attack-tolerant Systems
Also see the main CRASH project web page.
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:
...