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 proceedingArticle in proceedingResearchpeer-review

28 Citations (Scopus)
Original languageEnglish
Title of host publicationNASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
EditorsAlwyn E. Goodloe, Suzette Person
Number of pages15
Volume7226
PublisherSpringer
Publication date3 Apr 2012
Pages449-463
ISBN (Print)978-3-642-28890-6
ISBN (Electronic)978-3-642-28891-3
DOIs
Publication statusPublished - 3 Apr 2012
EventNASA Formal Methods - Norfolk, VA, United States
Duration: 3 Apr 20125 Apr 2012
Conference number: 4

Conference

ConferenceNASA Formal Methods
Number4
CountryUnited States
CityNorfolk, VA
Period03/04/201205/04/2012
SeriesLecture Notes in Computer Science
Volume7226
ISSN0302-8743

Keywords

  • statistical model checking
  • Distributed computing

Cite this