Probabilistic and Statistical Verification

Sampling-based solution methods for verifying random or chance properties.
event

Visible to the public  MEMICS 2016
Oct 21, 2016 7:00 am - Oct 23, 2016 6:00 pm CEST

11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)

Since 2005, the aim of MEMICS is to provide a scientific forum for doctoral and master students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people.

event

Visible to the public  WCET 2016
Jul 05, 2016 7:00 am - 6:30 pm CEST

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

Visible to the public First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems

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