A verification tool developeris vade mecum

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

The Edinburgh Concurrency Workbench has been the author's responsibility for the past four years, having been under development for eight years before that. Over its lifetime, we have learnt many lessons and encountered many questions about verification tool development, both from bitter experience and from discussion with other tool developers and users. In this paper, I raise some of these questions and give some personal comments on them. Some if these issues arise more generally, in other tools which are formally based or developed in academic environments or both.
Original languageEnglish
Pages (from-to)89-94
Number of pages6
JournalInternational Journal on Software Tools for Technology Transfer
Issue number2
Publication statusPublished - 1998


Dive into the research topics of 'A verification tool developeris vade mecum'. Together they form a unique fingerprint.

Cite this