Skip to Main content Skip to Navigation
Journal articles

Command-based importance sampling for statistical model checking

Cyrille Jegourel 1 Axel Legay 2 Sean Sedwards 2 
2 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Complete list of metadata

Cited literature [40 references]  Display  Hide  Download

https://hal.inria.fr/hal-01387299
Contributor : Sean Sedwards Connect in order to contact the contributor
Submitted on : Tuesday, October 25, 2016 - 1:38:18 PM
Last modification on : Friday, July 8, 2022 - 10:08:00 AM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Cyrille Jegourel, Axel Legay, Sean Sedwards. Command-based importance sampling for statistical model checking. Theoretical Computer Science, Elsevier, 2016, 649, pp.1 - 24. ⟨10.1016/j.tcs.2016.08.009⟩. ⟨hal-01387299⟩

Share

Metrics

Record views

160

Files downloads

119