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

by Valentina Sokolskaya on November 20, 2013

The paper titled “Compositional Verification of a Medical Device System”, authored by Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam and Mats P.E. Heimdahl won 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

Previous post:

Next post:

full screen background image