A Storm is Coming: A Modern Probabilistic Model Checker 论文

2017Lecture notes in computer science引用 401
DOI
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
相关技术:Formal Methods in Verification
关系图谱

A Storm is Coming: A Modern Probabilistic Model Checker · 作者

M

Matthias Volk

J

Joost-Pieter Katoen

S

Sebastian Junges

C

Christian Dehnert