5 citations · 5 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2012
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
Hendrik Tews, Marcus Völp, Tjark Weber
In recent projects on operating-system verification, C and C++ data types are often formalized using a semantics that does not fully specify the precise byte encoding of objects. I…