30 Years of Statistical Model Checking

Kim G. Larsen; Axel Legay

doi:10.1007/978-3-030-61362-4_18

30 Years of Statistical Model Checking

Kim G. Larsen^*, Axel Legay

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Communication

1 Citation (Scopus)

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 language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Number of pages	6
Publisher	Springer
Publication date	2020
Pages	325-330
ISBN (Print)	9783030613617
DOIs	https://doi.org/10.1007/978-3-030-61362-4_18
Publication status	Published - 2020
Event	9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 - Rhodes, Greece Duration: 20 Oct 2020 → 30 Oct 2020

Conference

Conference	9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020
Country/Territory	Greece
City	Rhodes
Period	20/10/2020 → 30/10/2020

Series	Lecture Notes in Computer Science
Volume	12476
ISSN	0302-9743

Access to Document

10.1007/978-3-030-61362-4_18

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Larsen, K. G., & Legay, A. (2020). 30 Years of Statistical Model Checking. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 325-330). Springer. https://doi.org/10.1007/978-3-030-61362-4_18

Larsen, Kim G. ; Legay, Axel. / 30 Years of Statistical Model Checking. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer, 2020. pp. 325-330 (Lecture Notes in Computer Science, Vol. 12476).

@inproceedings{abadcaf75b964b54b9ed7a8613344fe1,

title = "30 Years of Statistical Model Checking",

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.",

author = "Larsen, {Kim G.} and Axel Legay",

note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 ; Conference date: 20-10-2020 Through 30-10-2020",

year = "2020",

doi = "10.1007/978-3-030-61362-4_18",

language = "English",

isbn = "9783030613617",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "325--330",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

address = "Germany",

}

Larsen, KG & Legay, A 2020, 30 Years of Statistical Model Checking. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Springer, Lecture Notes in Computer Science, vol. 12476, pp. 325-330, 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Rhodes, Greece, 20/10/2020. https://doi.org/10.1007/978-3-030-61362-4_18

30 Years of Statistical Model Checking. / Larsen, Kim G.; Legay, Axel.
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2020. p. 325-330 (Lecture Notes in Computer Science, Vol. 12476).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Communication

TY - GEN

T1 - 30 Years of Statistical Model Checking

AU - Larsen, Kim G.

AU - Legay, Axel

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85097384387&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-61362-4_18

DO - 10.1007/978-3-030-61362-4_18

M3 - Article in proceeding

AN - SCOPUS:85097384387

SN - 9783030613617

T3 - Lecture Notes in Computer Science

SP - 325

EP - 330

BT - Leveraging Applications of Formal Methods, Verification and Validation

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

T2 - 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020

Y2 - 20 October 2020 through 30 October 2020

ER -

Larsen KG, Legay A. 30 Years of Statistical Model Checking. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Springer. 2020. p. 325-330. (Lecture Notes in Computer Science, Vol. 12476). doi: 10.1007/978-3-030-61362-4_18

30 Years of Statistical Model Checking

Abstract

Conference

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this