Some Issues in the Software Engineering of Verification Tools

Perdita Stevens

doi:10.1007/3-540-49059-0_30

Some Issues in the Software Engineering of Verification Tools

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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. This note raises some of them for wider discussion.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication	5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings
Editors	W. Cleaveland
Publisher	Springer
Pages	435-438
Number of pages	4
ISBN (Print)	978-3-540-65703-3
DOIs	https://doi.org/10.1007/3-540-49059-0_30
Publication status	Published - 1999

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	1579
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-49059-0_30

http://link.springer.com/chapter/10.1007%2F3-540-49059-0_30

Cite this

Stevens, P. (1999). Some Issues in the Software Engineering of Verification Tools. In W. Cleaveland (Ed.), Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings (pp. 435-438). (Lecture Notes in Computer Science; Vol. 1579). Springer. https://doi.org/10.1007/3-540-49059-0_30

Stevens, Perdita. / Some Issues in the Software Engineering of Verification Tools. Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings. editor / W. Cleaveland. Springer, 1999. pp. 435-438 (Lecture Notes in Computer Science).

@inproceedings{afdd19a9b1b4402199ab359aed070cfa,

title = "Some Issues in the Software Engineering of Verification Tools",

abstract = "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. This note raises some of them for wider discussion.",

author = "Perdita Stevens",

year = "1999",

doi = "10.1007/3-540-49059-0\_30",

language = "English",

isbn = "978-3-540-65703-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "435--438",

editor = "W. Cleaveland",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "United Kingdom",

}

Stevens, P 1999, Some Issues in the Software Engineering of Verification Tools. in W Cleaveland (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings. Lecture Notes in Computer Science, vol. 1579, Springer, pp. 435-438. https://doi.org/10.1007/3-540-49059-0_30

Some Issues in the Software Engineering of Verification Tools. / Stevens, Perdita.
Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings. ed. / W. Cleaveland. Springer, 1999. p. 435-438 (Lecture Notes in Computer Science; Vol. 1579).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Some Issues in the Software Engineering of Verification Tools

AU - Stevens, Perdita

PY - 1999

Y1 - 1999

N2 - 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. This note raises some of them for wider discussion.

AB - 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. This note raises some of them for wider discussion.

U2 - 10.1007/3-540-49059-0_30

DO - 10.1007/3-540-49059-0_30

M3 - Conference contribution

SN - 978-3-540-65703-3

T3 - Lecture Notes in Computer Science

SP - 435

EP - 438

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Cleaveland, W.

PB - Springer

ER -

Stevens P. Some Issues in the Software Engineering of Verification Tools. In Cleaveland W, editor, Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings. Springer. 1999. p. 435-438. (Lecture Notes in Computer Science). doi: 10.1007/3-540-49059-0_30

Some Issues in the Software Engineering of Verification Tools

Abstract

Publication series

Access to Document

Fingerprint

Cite this