I liked the layered approach in the IronFleet paper. IronFleet: Proving Practica... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		sriram_malhar on July 10, 2017 \| parent \| context \| favorite \| on: Verdi – Formally Verifying Distributed Systems (20... I liked the layered approach in the IronFleet paper. IronFleet: Proving Practical Distributed Systems Correct https://www.microsoft.com/en-us/research/publication/ironfle... It uses TLA for the distributed protocol part, and Hoare style verification for sequential code, which has excellent toolchain support.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact