High Quality Abstractions For The Verification Of Asynchronous Distributed Systems

Asynchronous distributed systems (such as multi-threaded programs, client/server applications, ...) are notoriously difficult to design correctly. This is due to the complex (and sometimes unforeseen) interactions resulting from asynchronous communications. Therefore, there is a growing need for automatic verification tools capable of analyzing such systems. This need is amplified with the current development of multicore architectures.