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.