Generic tools for verifying concurrent systems

Citations of this article
Mendeley users who have this article in their library.


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. © 2002 Elsevier Science B.V. All rights reserved.




Cleaveland, R., & Sims, S. T. (2002). Generic tools for verifying concurrent systems. Science of Computer Programming, 42(1), 39–47.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free