Modular Verification of Dynamic Properties for Reactive Systems.

Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir

Browse the full IFM paper archive.