This special issue of Formal Methods in System Design is devoted to extended versions of selected papers from the 22nd International Conference on Computer Aided Verification (CAV) held in Edinburgh, UK, from July 15–19, 2010. This special issue contains six papers that we selected with the help of the program committee and that were considered to be among the best papers. It also includes CAV 2010 Award announcement.

We would like to thank all the reviewers for their detailed reports and comments and all the authors for their contributions.

Tayssir Touili

Guest Editor and CAV 2010 co-chair