Verifying Behavioral UML Systems via CEGAR

  title={Verifying Behavioral UML Systems via CEGAR},
  author={Yael Meller and Orna Grumberg and Karen Yorav},
This work presents a novel approach for applying abstraction and refinement in the verification of behavioral UML models. The Unified Modeling Language (UML) is a widely accepted modeling language for embedded and safety critical systems. As such the correct behavior of systems represented as UML models is crucial. Model checking is a successful automated verification technique for checking whether a system satisfies a desired property. Nevertheless, its applicability is often impeded by its… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 26 references

Verifying behavioral UML systems via CEGAR. In integrated Formal Methods (iFM’13)

  • Yael Meller, Orna Grumberg, Karen Yorav
  • 2014
1 Excerpt

Similar Papers

Loading similar papers…