Conference
Verifying Temporal Properties of CommUnity Designs
Abstract
We study the use of some verification techniques for reasoning about temporal properties of CommUnity designs. We concentrate on the verification of temporal properties in the context of branching-time temporal logic using the SMV tool.We also discuss ways of modularising the temporal reasoning, by exploiting the various kinds of morphisms between designs available in CommUnity. Moreover, we combine SMV verification with some abstract …
Authors
Aguirre N; Regis G; Maibaum T
Series
Lecture Notes in Computer Science
Volume
4591
Pagination
pp. 1-20
Publisher
Springer Nature
Publication Date
2007
DOI
10.1007/978-3-540-73210-5_1
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743