next up previous

Final Report of the COST-247 Action


A Tool Framework for Verifying Concurrent Systems

Rance Cleaveland, Steve Sims

Department of Computer Science
North Carolina State University
Raleigh, NC 27695-8206 USA
Tel: +1 919 515 7862
Fax: +1 919 515 7896
E-mail: rance@csc.ncsu.edu

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.

This presentation has been given during the COST-247 2nd International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia, June 18-19, 1997).

COST-247 Working Group(s):

Web Links : http://www4.ncsu.edu/~rance/WWW/


This Page was prepared by Mark Jorgensen.


Back to the VASY Home page