On the Power of Statistical Model Checking

Kim Guldstrand Larsen; Axel Legay

doi:10.1007/978-3-319-47169-3

On the Power of Statistical Model Checking

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

11 Citations (Scopus)

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
Publisher	Springer
Publication date	2016
Pages	843–862
ISBN (Print)	978-3-319-47168-6
ISBN (Electronic)	978-3-319-47169-3
DOIs	https://doi.org/10.1007/978-3-319-47169-3
Publication status	Published - 2016
Event	ISOLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Duration: 5 Oct 2016 → … Conference number: 12

Conference

Conference	ISOLA 2016
Number	12
Period	05/10/2016 → …

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

Access to Document

10.1007/978-3-319-47169-3

AUB Link

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

Cite this

@inproceedings{cfef85e38d5d4459aa0279601600a8e6,

title = "On the Power of Statistical Model Checking",

author = "Larsen, {Kim Guldstrand} and Axel Legay",

year = "2016",

doi = "10.1007/978-3-319-47169-3",

language = "English",

isbn = "978-3-319-47168-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "843–862",

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

address = "Germany",

note = "ISOLA 2016 ; Conference date: 05-10-2016",

}

On the Power of Statistical Model Checking. / Larsen, Kim Guldstrand; Legay, Axel.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Springer, 2016. p. 843–862 (Lecture Notes in Computer Science, Vol. 9953).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - On the Power of Statistical Model Checking

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

N1 - Conference code: 12

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-319-47169-3

DO - 10.1007/978-3-319-47169-3

M3 - Article in proceeding

SN - 978-3-319-47168-6

T3 - Lecture Notes in Computer Science

SP - 843

EP - 862

BT - Leveraging Applications of Formal Methods, Verification and Validation

PB - Springer

T2 - ISOLA 2016

Y2 - 5 October 2016

ER -