This paper describes a software framework supporting the automated verification of models. The framework allows analyzing different kinds of behavioral models of software systems and business processes like UML activity diagrams and BPEL models. To extend the applicability of the verification tools, a variety of transformation tools have been integrated in the framework.
['Ivo Raedts', 'Marija Petkovic', 'Alexander Serebrenik', 'Jan Martijn E. M. van der Werf', 'Lou J. Somers', 'Maarten Boote']
A software framework for automated verification