SEIP Session




Formal Development
June 5, Thursday, 4:30 - 6:30 pm
Session Chair : Vibha Sinha
Room - MR 1.05 & MR 1.06


4:30 - 5:00 Improving Software Through Automatic Untangling of Cyclic Dependencies
Maayan Goldstein and Dany Moshkovich
5:00 - 5:30 PM A Systematic Approach to Transforming System Requirements into Model Checking Specifications
Daniel Aceituna, Hyunsook Do and Sudarshan Srinivasan
5:30 - 6:00 PM A Candid Industrial Evaluation of Formal Software Verification using Model Checking
Matthew Bennion and Ibrahim Habli
6:00 - 6:30PM Architectural Dependency Analysis to Understand Rework Costs for Safety-Critical Systems
Robert Nord, Ipek Ozkaya, Raghvinder Sangwan and Ronald Koontz