Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware

Creating and implementing fault-tolerant distributed algorithms is a challenging task in highly safety-critical industries. Using formal methods supports design and development of complex algorithms. However, formal methods are often perceived as an unjustifiable overhead. This paper presents the ex... View More