Anna Bernasconi

Latest

• Integrating Model Checking and Topological Proofs to Instrument Iterative Design
• Integrating Topological Proofs with Model Checking to Instrument Iterative Design
• From model checking to a temporal proof for partial models