On the Power of Statistical Model CheckingReport as inadecuate

On the Power of Statistical Model Checking - Download this document for free, or read online. Document in PDF available to download.

1 CISS - Center for Indlejrede Software Systemer 2 TAMIS - Threat Analysis and Mitigation for Information Security Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

Abstract : This paper contains material for our tutorial presented at STRESS 2016. This includes an introduction to Statistical Model Checking algorithms and their rare event extensions, as well as an introduction to two well-known SMC tools: Plasma and Uppaal.

Author: Kim Guldstrand Larsen - Axel Legay -

Source: https://hal.archives-ouvertes.fr/


Related documents