Section: Overall Objectives

Highlights of the Year

• F. Lang and R. Mateescu's paper entitled “Partial Model Checking Using Networks of Labeled Transition Systems and Boolean Equation Systems” [15] was selected as one among the three “best paper nominees” of the TACAS 2012 conference, which had 36 papers published out of 147 submitted.

• At the end of 2012, the number of software licenses granted for the CADP toolbox since the beginning of its distribution has reached 10000.