University of Limerick Institutional Repository

Software verification of autonomic systems developed with ASSL

DSpace Repository

Show simple item record Vassev, Emil Hinchey, Mike 2012-01-09T13:11:51Z 2012-01-09T13:11:51Z 2011
dc.description non-peer-reviewed en_US
dc.description.abstract We discuss our experiences in building tools for software verification of autonomic systems developed with the Autonomic System Specification Language (ASSL). ASSL is a software framework that aims to assist developers of autonomic systems by providing a powerful combination of both notation and tools. One of the major objectives of the framework is to assure the correctness of the autonomic systems via inclusion of tools targeting consistency checking, model checking, and automatic test case generation. In this paper, we review our recent work on these tools. en_US
dc.language.iso eng en_US
dc.publisher Springer en_US
dc.relation.ispartofseries 16th Monterery Workshop on Modeling -Monterey Workshops;2010
dc.rights The original publication is available at en_US
dc.subject software verification en_US
dc.subject formal methods en_US
dc.subject ASSL en_US
dc.subject autonomic computing en_US
dc.title Software verification of autonomic systems developed with ASSL en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor SFI
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE2/I303_1

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


My Account