Outstanding Paper Award at the ACM High Integrity Language Technologies 2013 Conference

The paper titled "Compositional Verification of a Medical Device System", authored by Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam and Mats P.E. Heimdahlwon the "Outstanding Paper Award" at the ACM High Integrity Language Technologies 2013, Pittsburgh, PA, Nov 12-14, 2013. Sanjai Rayadurgam presented the paper at the conference and received the award certificate on behalf of all the authors. The paper abstract and PDF are available here