Automatic Verification of Behavior of UML Requirements Specifications using Model Checking.

Saeko Matsuura, Sae Ikeda, Kasumi Yokotae

Browse the full MODELSWARD paper archive.