UMSEC Program Director Sanjai Rayadurgam received an Outstanding Paper Award at the ACM Conference on High Integrity Language Technology 2013 (HILT13), held in Pittsburgh. The paper, "Compositional Verification of a Medical Device System," presents a scalable approach to design and verify large software systems using an assume-guarantee style reasoning over architectural models to compose proofs for system-level properties from component-level properties verified by model-checking. Anitha Murugesan, Michael Whalen, and Mats Heimdahl were co-authors on the paper, which was the product of a large NSF-funded project developing new techniques for assuring safety, security and reliability of medical cyber-physical systems.
