Preprint
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
Authors
Menghi C; Rizzi AM; Bernasconi A
Publication date
November 26, 2018
DOI
10.48550/arxiv.1811.11123
Preprint server
arXiv