Integrating Topological Proofs with Model Checking to Instrument Iterative Design

Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi

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 desirabl…