Table of Contents
Advances in Software Engineering
Volume 2012 (2012), Article ID 547157, 13 pages
http://dx.doi.org/10.1155/2012/547157
Research Article

Improving Model Checking with Context Modelling

1Lab-STICC, UMR CNRS 6285, ENSTA Bretagne, 2 rue François Verny, 29806 Brest, France
2ONERA, 2 avenue Edouard Belin, 31000 Toulouse, France

Received 6 February 2012; Revised 18 May 2012; Accepted 22 May 2012

Academic Editor: Gerardo Canfora

Copyright © 2012 Philippe Dhaussy et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, and Luka Leroux, “Improving Model Checking with Context Modelling,” Advances in Software Engineering, vol. 2012, Article ID 547157, 13 pages, 2012. doi:10.1155/2012/547157