Probabilistic and Statistical Verification
Sampling-based solution methods for verifying random or chance properties.
event
Submitted by Anonymous on Wed, 03/26/2014 - 11:01am
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Satellite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014
Novelty of this edition
forum
Submitted by Anonymous on Wed, 03/26/2014 - 10:57am
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Sattelite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014
Vienna, Austria
Web Page: http://www.lix.polytechnique.fr/~bouissou/NSV14
Important Dates
===============
Submissions deadline: March 20th 2014.
Notification: May 4th 2014.
Final version: May 25th 2014.
Workshop: July 17th-18th 2014.
