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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
3 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea
RedacteurenY. Cho, R.L. Wainwright, H. Haddad, S.Y. Shin, Y.W. Koo
Plaats van productieNew York, USA
UitgeverijAssociation for Computing Machinery, Inc
Pagina's1031-1032
ISBN van geprinte versie978-1-595-93729-2
StatusGepubliceerd - 2007
Evenement22nd ACM Symposium on Applied Computing (SAC 2007) - COEX Convention Center, Seoul, Zuid-Korea
Duur: 11 mrt 200715 mrt 2007
Congresnummer: 22
http://www.sigapp.org/sac/sac2007/

Congres

Congres22nd ACM Symposium on Applied Computing (SAC 2007)
Verkorte titelSAC 2007
Land/RegioZuid-Korea
StadSeoul
Periode11/03/0715/03/07
AnderSAC 2007, Seoul, Korea
Internet adres

Vingerafdruk

Duik in de onderzoeksthema's van 'A software framework for automated verification'. Samen vormen ze een unieke vingerafdruk.

Citeer dit