Integrating Topological Proofs with Model Checking to Instrument Iterative Design.

Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi

Browse the full FASE paper archive.