On the Power of Statistical Model CheckingReportar como inadecuado

On the Power of Statistical Model Checking - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.

Autor: Kim Guldstrand Larsen - Axel Legay -

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


Documentos relacionados