Singapore, 21st September 2010

A Satellite Workshop of ATVA2010

Call for Paper (Plain Text)


After decades of development, model checking has established as an effective system analysis technique.

This is evidenced by recent success stories from Intel i7 processor and the SLAM project (Microsoft) Model checking is finding its ways into many methodologies and domains. The aim of Pervasive Model Checking workshop is to provide a forum for researchers interested in applying model checking techniques to different domains or settings.


Topics of interest include (but are not limited to):

Important Dates:

Paper Submission

Submit original manuscripts with a maximum of 15 pages (regular paper), and two pages (Fast Abstract Track). Each paper should include a title, and the name and affiliation of each author. By submitting you agree that, in case of acceptance, at least one (co-)author will register and present the paper at the workshop. Contributions should be typeset in the EPTCS format. Submission should be made through EasyChair by following the link:

Accepted Papers


Program Committee

Keynote Speakers