Generic tools for verifying concurrent systems

TitleGeneric tools for verifying concurrent systems
Publication TypeJournal Articles
Year of Publication2002
AuthorsCleaveland R, Sims ST
JournalScience of Computer Programming
Pagination39 - 47
Date Published2002/01//
ISBN Number0167-6423
KeywordsModel checking, Operational semantics, Process algebra, Specification, verification, Verification tools

Despite the enormous strides made in automatic verification technology over the past decade and a half, tools such as model checkers remain relatively underused in the development of software. One reason for this is that the bewildering array of specification and verification formalisms complicates the development and adoption by users of relevant tool support. This paper proposes a remedy to this state of affairs in the case of finite-state concurrent systems by describing an approach to developing customizable yet efficient verification tools.