A Formal Verification Tool for UML Behavioral Diagrams.

Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar

Browse the full ICCSA paper archive.