Generic tools for verifying concurrent systems

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

Abstract

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.

Cite

CITATION STYLE

APA

Cleaveland, R., & Sims, S. T. (2002). Generic tools for verifying concurrent systems. Science of Computer Programming, 42(1), 39–47. https://doi.org/10.1016/S0167-6423(01)00033-8

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