|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|
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.