Automated Verification of Asynchronous Communicating Systems (with TLA+)

Verification of Asynchronous Communication

This demonstrator was developped in 2015-2016 during Florent Chevrou's PhD and Nathanaël Sensfelder's master thesis, under the supervision of Aurélie Hurault and Philippe Quéinnec.
The verification framework has been developped by Florent Chevrou, Nathanaël Sensfelder and Philippe Quéinnec. The web site has been developped by Nathanaël Sensfelder.

Related Publications


[photo]

Aurélie Hurault

Personal web page

Florent Chevrou

[photo]

Nathanaël Sensfelder

Personal web page
[photo]

Philippe Quéinnec

Personal web page