CALL FOR PAPERS
SMC 2013
First Workshop on
Statistical Model Checking
INRIA Rennes, France
23 September 2013
Associated with RV'13
http://rv2013.gforge.inria.fr/workshop.html
SMC 2013, the First Workshop on Statistical Model Checking, will take
place at INRIA Rennes, France, on 23 September 2013. The workshop is
associated with RV'13, the Fourth International Conference on Runtime
Verification.
INVITED SPEAKERS
Sylvain Peyronnet, University of Caen, France
Alexandre David, University of Aalborg, Denmark
PROGRAM COMMITTEE CO-CHAIRS
Axel Legay, INRIA Rennes, France
Kim G. Larsen, Aalborg University, Denmark
Serge Haddad, ENS Cachan, France
ORGANIZATION CHAIR
Axel Legay, INRIA Rennes, France
IMPORTANT DATES
Paper submission: 17 May 2013
Notification: 17 June 2013
Final version: 15 July 2013
ABOUT
Statistical Model Checking has recently been proposed as an alternative
to avoid an exhaustive exploration of the state space of a system under
verification. The core idea of the approach is to conduct some sim-
ulations of the system and then use results from the statistics area in
order to decide whether the system satisfies the property with respect
to a given probability. The answer is correct up to some confidence.
SMC is generally much faster (but less precise) than formal verification
techniques. Moreover, the approach can be used to verify properties that
cannot be expressed by the classical temporal logics used in formal
verification. The objective of SMC 2013 is to discuss recent advances
in Statistical Model Checking.
PUBLICATION
The SMC 2013 proceedings will be published as a volume of EPTCS.
Submission of papers to RV'13 is handled through EasyChair, at
https://www.easychair.org/conferences/?conf=rv13
For more information, see http://rv2013.gforge.inria.fr/workshop.html