User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

30 Years of Statistical Model Checking

Primary tabs

download
  • Open access
  • PDF
  • 201.31 K
Larsen, Kim G. Legay, Axel [UCL]

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.

Document type Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection
Access type Accès libre
Publication date 2020
Language Anglais
Conference "Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles "
Peer reviewed yes
Host document "Lecture Notes in Computer Science"- p. 325-330 (ISBN : 9783030613617)
Publication status Publié
Affiliation UCL - SST/ICTM/INGI - Pôle en ingénierie informatique
Keywords Statistical Model Checking
Links
Bibliographic reference Larsen, Kim G. ; Legay, Axel. 30 Years of Statistical Model Checking.Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles In: Lecture Notes in Computer Science, 2020, p. 325-330
Permanent URL http://hdl.handle.net/2078.1/237618