Verifying Behavioral UML Systems via CEGAR.

Yael Meller, Orna Grumberg, Karen Yorav

Browse the full IFM paper archive.