30 Years of Statistical Model Checking

Kim G. Larsen*, Axel Legay

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingFormidling

Abstrakt

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.

OriginalsprogEngelsk
TitelLeveraging Applications of Formal Methods, Verification and Validation : Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings
RedaktørerTiziana Margaria, Bernhard Steffen
Antal sider6
ForlagSpringer
Publikationsdato2020
Sider325-330
ISBN (Trykt)9783030613617
DOI
StatusUdgivet - 2020
Begivenhed9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 - Rhodes, Grækenland
Varighed: 20 okt. 202030 okt. 2020

Konference

Konference9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020
LandGrækenland
ByRhodes
Periode20/10/202030/10/2020
NavnLecture Notes in Computer Science
Vol/bind12476
ISSN0302-9743

Bibliografisk note

Publisher Copyright:
© 2020, Springer Nature Switzerland AG.

Citationsformater