A software framework for automated verification

I.G.J. Raedts, M. Petkovic, A. Serebrenik, J.M.E.M. Werf, van der, L.J.A.M. Somers, M. Boote

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
3 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationProceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea
EditorsY. Cho, R.L. Wainwright, H. Haddad, S.Y. Shin, Y.W. Koo
Place of PublicationNew York, USA
PublisherAssociation for Computing Machinery, Inc
ISBN (Print)978-1-595-93729-2
Publication statusPublished - 2007
Event22nd ACM Symposium on Applied Computing (SAC 2007) - COEX Convention Center, Seoul, Korea, Republic of
Duration: 11 Mar 200715 Mar 2007
Conference number: 22


Conference22nd ACM Symposium on Applied Computing (SAC 2007)
Abbreviated titleSAC 2007
Country/TerritoryKorea, Republic of
Internet address


Dive into the research topics of 'A software framework for automated verification'. Together they form a unique fingerprint.

Cite this