30 Years of Statistical Model Checking

Kim G. Larsen*, Axel Legay

*Corresponding author

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingCommunication

Abstract

This short note introduces statistical model checking and gives a brief overview of the Statistical Model Checking, past present and future session at ISOLA 2020.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation : Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings
EditorsTiziana Margaria, Bernhard Steffen
Number of pages6
PublisherSpringer
Publication date2020
Pages325-330
ISBN (Print)9783030613617
DOIs
Publication statusPublished - 2020
Event9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 - Rhodes, Greece
Duration: 20 Oct 202030 Oct 2020

Conference

Conference9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020
CountryGreece
CityRhodes
Period20/10/202030/10/2020
SeriesLecture Notes in Computer Science
Volume12476
ISSN0302-9743

Cite this