A software framework for automated verification

  • Authors:
  • Ivo Raedts;Marija Petković;Alexander Serebrenik;Jan Martijn van der Werf;Lou Somers;Maarten Boote

  • Affiliations:
  • Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands;Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands;Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands;Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands;Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands;Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands

  • Venue:
  • Proceedings of the 2007 ACM symposium on Applied computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.