Checking and Distributing Statistical Model Checking

Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikučionis; Danny Bøgsted Poulsen

doi:10.1007/978-3-642-28891-3_39

Checking and Distributing Statistical Model Checking

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen

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

28 Citations (Scopus)

Original language	English
Title of host publication	NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Editors	Alwyn E. Goodloe, Suzette Person
Number of pages	15
Volume	7226
Publisher	Springer
Publication date	3 Apr 2012
Pages	449-463
ISBN (Print)	978-3-642-28890-6
ISBN (Electronic)	978-3-642-28891-3
DOIs	https://doi.org/10.1007/978-3-642-28891-3_39
Publication status	Published - 3 Apr 2012
Event	NASA Formal Methods - Norfolk, VA, United States Duration: 3 Apr 2012 → 5 Apr 2012 Conference number: 4

Conference

Conference	NASA Formal Methods
Number	4
Country	United States
City	Norfolk, VA
Period	03/04/2012 → 05/04/2012

Series	Lecture Notes in Computer Science
Volume	7226
ISSN	0302-8743

Keywords

statistical model checking
Distributed computing

Access to Document

10.1007/978-3-642-28891-3_39

Cite this

Bulychev, P. E., David, A., Larsen, K. G., Legay, A., Mikučionis, M., & Poulsen, D. B. (2012). Checking and Distributing Statistical Model Checking. In A. E. Goodloe, & S. Person (Eds.), NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings (Vol. 7226, pp. 449-463). Springer. Lecture Notes in Computer Science Vol. 7226 https://doi.org/10.1007/978-3-642-28891-3_39

Bulychev, Peter E. ; David, Alexandre ; Larsen, Kim Guldstrand ; Legay, Axel ; Mikučionis, Marius ; Poulsen, Danny Bøgsted. / Checking and Distributing Statistical Model Checking. NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. editor / Alwyn E. Goodloe ; Suzette Person. Vol. 7226 Springer, 2012. pp. 449-463 (Lecture Notes in Computer Science, Vol. 7226).

@inproceedings{63503c8436434723926a4afee28ff6e2,

title = "Checking and Distributing Statistical Model Checking",

keywords = "statistical model checking, Distributed computing",

author = "Bulychev, {Peter E.} and Alexandre David and Larsen, {Kim Guldstrand} and Axel Legay and Marius Miku{\v c}ionis and Poulsen, {Danny B{\o}gsted}",

year = "2012",

month = apr,

day = "3",

doi = "10.1007/978-3-642-28891-3_39",

language = "English",

isbn = "978-3-642-28890-6",

volume = "7226",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "449--463",

editor = "Goodloe, {Alwyn E.} and Suzette Person",

booktitle = "NASA Formal Methods",

address = "Germany",

note = "NASA Formal Methods, NFM 2012 ; Conference date: 03-04-2012 Through 05-04-2012",

}

Bulychev, PE, David, A, Larsen, KG, Legay, A, Mikučionis, M & Poulsen, DB 2012, Checking and Distributing Statistical Model Checking. in AE Goodloe & S Person (eds), NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. vol. 7226, Springer, Lecture Notes in Computer Science, vol. 7226, pp. 449-463, NASA Formal Methods, Norfolk, VA, United States, 03/04/2012. https://doi.org/10.1007/978-3-642-28891-3_39

Checking and Distributing Statistical Model Checking. / Bulychev, Peter E.; David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikučionis, Marius ; Poulsen, Danny Bøgsted.

NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. ed. / Alwyn E. Goodloe; Suzette Person. Vol. 7226 Springer, 2012. p. 449-463 (Lecture Notes in Computer Science, Vol. 7226).

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

TY - GEN

T1 - Checking and Distributing Statistical Model Checking

AU - Bulychev, Peter E.

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Mikučionis, Marius

AU - Poulsen, Danny Bøgsted

N1 - Conference code: 4

PY - 2012/4/3

Y1 - 2012/4/3

KW - statistical model checking

KW - Distributed computing

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

U2 - 10.1007/978-3-642-28891-3_39

DO - 10.1007/978-3-642-28891-3_39

M3 - Article in proceeding

SN - 978-3-642-28890-6

VL - 7226

T3 - Lecture Notes in Computer Science

SP - 449

EP - 463

BT - NASA Formal Methods

A2 - Goodloe, Alwyn E.

A2 - Person, Suzette

PB - Springer

T2 - NASA Formal Methods

Y2 - 3 April 2012 through 5 April 2012

ER -

Bulychev PE, David A, Larsen KG, Legay A, Mikučionis M , Poulsen DB. Checking and Distributing Statistical Model Checking. In Goodloe AE, Person S, editors, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Vol. 7226. Springer. 2012. p. 449-463. (Lecture Notes in Computer Science, Vol. 7226). https://doi.org/10.1007/978-3-642-28891-3_39