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

^*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Formidling

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.

Originalsprog	Engelsk
Titel	Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings
Redaktører	Tiziana Margaria, Bernhard Steffen
Antal sider	6
Forlag	Springer
Publikationsdato	2020
Sider	325-330
ISBN (Trykt)	9783030613617
DOI	https://doi.org/10.1007/978-3-030-61362-4_18
Status	Udgivet - 2020
Begivenhed	9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 - Rhodes, Grækenland Varighed: 20 okt. 2020 → 30 okt. 2020

Konference

Konference	9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020
Land	Grækenland
By	Rhodes
Periode	20/10/2020 → 30/10/2020

Navn	Lecture Notes in Computer Science
Vol/bind	12476
ISSN	0302-9743

Bibliografisk note

Publisher Copyright:
© 2020, Springer Nature Switzerland AG.

Adgang til dokumentet

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

Andre filer og links

Link to publication in Scopus

Citationsformater

Larsen, K. G., & Legay, A. (2020). 30 Years of Statistical Model Checking. I T. Margaria, & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (s. 325-330). Springer. Lecture Notes in Computer Science Bind 12476 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. red. / Tiziana Margaria ; Bernhard Steffen. Springer, 2020. s. 325-330 (Lecture Notes in Computer Science, Bind 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. i T Margaria & B Steffen (red), 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, bind 12476, s. 325-330, 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Rhodes, Grækenland, 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. red. / Tiziana Margaria; Bernhard Steffen. Springer, 2020. s. 325-330 (Lecture Notes in Computer Science, Bind 12476).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Formidling

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. I Margaria T, Steffen B, red., Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Springer. 2020. s. 325-330. (Lecture Notes in Computer Science, Bind 12476). https://doi.org/10.1007/978-3-030-61362-4_18