Marsha Chechik

Latest

• A verification-driven framework for iterative design of controllers
• Supporting Verification-Driven Incremental Distributed Design of Components.