A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs.

Quelen Cartellier, Marc Frappier, Amel Mammar

Browse the full SEFM paper archive.