We are pleased to hire both a new postdoc and a new engineer in the project ! Both of them will arrive in July 2019.
VeRDi is an acronym for Verified Reconfiguration Driven by execution. It aims at addressing distributed software reconfiguration in an efficient and verified way. The VeRDi project is funded by the French region Pays De La Loire where Nantes is located.
Both the postdoc and engineering positions attract candidates. We are currently performing job interviews.
Hope to have two news members in the project soon !
See Jobs for more details.
Four students from Northern Arizona University, the Amadeus team, are working on MAB (Madeus Application Builder) to be able to graphically design, through a GUI, a Madeus assembly.
Madeus and Petri nets
Survey on verified reconfiguration
Hélène Coullon is working with Frédéric Loulergue and Ludovic Henrio on a survey about verified software reconfiguration.
Maverick is currently working on
Madeus++ an extension of
Madeus with reconfiguration capabilities !
The prototype is operational and is under experiment on a real use-case: migrating from a centralized to a decentralized database.