University of Minnesota
Software Engineering Center
/

You are here

Outstanding Paper Award for Rayadurgam

November 21, 2013
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.