most citedChiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

5 citations · 5 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2012★ 5 cited

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

Christel Baier, Marcus Daum, Benjamin Engel +6

Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore comp…