Probabilistic and Statistical Verification
Sampling-based solution methods for verifying random or chance properties.
event
Submitted by Anonymous on Thu, 01/28/2016 - 4:27pm
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016)
Toulouse, France | 5th July 2016 | http://wcet2016.compute.dtu.dk
in conjunction with the Euromicro Conference on Real-Time Systems (ECRTS)
WCET 2016 is kindly supported by TACLe (www.tacle.eu), an European COST-Action on Timing Analysis on Code-Level.
GOALS AND TOPICS
forum
Submitted by Anonymous on Tue, 12/08/2015 - 12:52pm
FIRST CALL FOR PAPERS
Special Issue of the SCP on Automated Verification of Critical Systems
Science of Computer Programming | Special Issue on Automated Verification of Critical Systems
Guest editors: Gudmund Grov & Andrew Ireland
event
Submitted by Anonymous on Tue, 06/23/2015 - 9:29am
forum
Submitted by Anonymous on Tue, 06/23/2015 - 9:25am
event
Submitted by Anonymous on Wed, 11/26/2014 - 2:40pm
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
forum
Submitted by Anonymous on Wed, 11/26/2014 - 2:33pm
