Conference
Verifying incomplete and evolving specifications
Abstract
Classical verification techniques rely on the assumption that the model of the system under analysis is completely specified and does not change over time. However, most modern development life-cycles and even run-time environments (as in the case of adaptive systems), are implicitly based on incompleteness and evolution. Incompleteness occurs when some parts of the system are not specified. Evolution concerns a set of gradual and progressive …
Authors
Menghi C
Pagination
pp. 670-673
Publisher
Association for Computing Machinery (ACM)
Publication Date
May 31, 2014
DOI
10.1145/2591062.2591090
Name of conference
Companion Proceedings of the 36th International Conference on Software Engineering