Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.

Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal

Browse the full FORTE paper archive.