Best Paper award for three Distrinet members at Formal Methods 2011

June 24,2011, Limerick, Ireland

The paper "The 1st Verified Software Competition: Experience Report." co-authored by three Distrinet members (Bart Jacobs, Jan Smans and Frank Piessens) has won the best paper award at FM 2011, a top research conference on applications of formal methods in software engineering.

 

Abstract:

We, the organizers and participants, report our experiences from the 1st Verified Software Competition, held in August 2010 in Edinburgh at the VSTTE 2010 conference.