Ph.D. Student Ghassabani Receives Best Contribution Award at FMCAD 2016
Ph.D. student and research assistant Elaheh Ghassabani received the best contribution award at Formal Methods in Computer-Aided Design (FMCAD 16) for her contribution “Inductive Validity Cores for Formal Verification.” Ghassabani shares the award with Master of Science in Software Engineering Director Michael Whalen and Industrial Logician at Rockwell Collins Andrew Gacek.
Their work presents a way for extracting information from proofs. For safety-critical systems, it is often not enough to have a proof of correctness of software; it is important to know that properties (software requirements) are correctly formalized and that we have enough properties to adequately exercise the software. Elaheh presented a new algorithm to efficiently compute an Inductive Validity Core (IVC), a minimal set of model elements necessary to construct a proof using a model checker. This information can be used to provide traceability and check completeness of requirements.
FMCAD was held in Mountain View, California and provides a leading forum to researchers in academic and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning about computing systems.
Please join CS&E in congratulating Ghassabani, Whalen, and Gacek on receiving this award.