Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Hendrik Tews - , Chair of Operating Systems (Speaker)
- Marcus Völp - , Chair of Operating Systems (Speaker)
- Benjamin Engel - , Chair of Operating Systems (Speaker)
Date
28 Nov 2012 → 30 Nov 2012
Description
Conference
| Title | 7th Conference on Systems Software Verification |
|---|---|
| Abbreviated title | SSV 2012 |
| Conference number | |
| Duration | 28 - 30 November 2012 |
| Degree of recognition | International event |
| Location | |
| City | Sydney |
| Country | Australia |