A technique for establishing certain properties, usually expressed in temporal logic, for a system model.
Event
CF'16
ACM International Conference on Computing Frontiers 2016 (CF'16) May 16 - 18, 2016, Como, Italy |  www.computingfrontiers.org
Submitted by Anonymous on November 10th, 2015
Event
GTTSE 2015
The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE) Registration is open for participants! http://gttse.wikidot.com/2015:registration There is a students' workshop to which one may submit. http://gttse.wikidot.com/2015:students-workshop List of speakers
Submitted by Anonymous on June 23rd, 2015
Event
GraMSec 2015
The Second International Workshop on Graphical Models for Security (GraMSec 2015) Co-located with CSF 2015 Graphical security models provide an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures. Formal methods and computer security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes.
Submitted by Anonymous on March 10th, 2015
Event
NSV 2015
The 8th  International Workshop on Numerical Software Verification will be held April 13, 2015 in conjunction with Cyber-Physical Week 2015 Seattle, WA, USA Web Page: http://nsv2015.informatik.uni-freiburg.de/ Scope
Submitted by Anonymous on November 26th, 2014
Event
FM 2015
20th International Symposium on Formal Methods SCOPE AND TOPICS
Submitted by Anonymous on July 21st, 2014
Event
WoSoCer 2014
The 4th International IEEE Workshop on Software Certification (WoSoCer 2014) http://cecris-project.eu/wosocer2014 3-6 November 2014, Naples, Italy The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in Naples, Italy, 3-6 November 2014. We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop.
Submitted by Anonymous on July 11th, 2014
Event
NSV 2014
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
Submitted by Anonymous on March 26th, 2014
Event
MEMOCODE'14
12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14) Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland, 19-21 October, 2014
Submitted by Anonymous on January 8th, 2014
Event
SAC 2014
ACM Symposium On Applied Computing For the past twenty-eight years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by Seoul National University, Kyungpook National University, Soongsil University and Dongguk University.  
Submitted by Anonymous on August 14th, 2013
Subscribe to Quantitative Verification