Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP.

Fabienne Boyer, Olivier Gruber, Gwen Salan

Browse the full FM paper archive.