Journal
REACHABILITY PROBLEMS, RP 2016
Volume 9899, Issue -, Pages 23-35Publisher
SPRINGER INTERNATIONAL PUBLISHING AG
DOI: 10.1007/978-3-319-45994-3_2
Keywords
-
Categories
Ask authors/readers for more resources
This invited paper surveys several simulation-based approaches to compute the probability of rare bugs in complex systems. The paper also describes how those techniques can be implemented in the professional toolset Plasma.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available