New tools and techniques are being developed and can help keep the verification process secure, alongside a firm foundation of good design verification practices.

In this paper, we present a computer tool for verification of distributed systems. As an example, we establish the correctness of Lamport's Fast Mutual Exclusion Algorithm. The tool implements the ...