Conference
Integrating Topological Proofs with Model Checking to Instrument Iterative Design
Abstract
System development is not a linear, one-shot process. It proceeds through refinements and revisions. To support assurance that the system satisfies its requirements, it is desirable that continuous verification can be performed after each refinement or revision step. To achieve practical adoption, formal verification must accommodate continuous verification efficiently and effectively. Model checking provides developers with information useful …
Authors
Menghi C; Rizzi AM; Bernasconi A
Series
Lecture Notes in Computer Science
Volume
12076
Pagination
pp. 53-74
Publisher
Springer Nature
Publication Date
2020
DOI
10.1007/978-3-030-45234-6_3
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743