Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models.

Elena Planas, David Snchez-Mendoza, Jordi Cabot, Cristina Gmez

Browse the full ER paper archive.