Applying Software Model Checking Techniques for Behavioral UML Models.

Orna Grumberg, Yael Meller, Karen Yorav

Browse the full FM paper archive.