5 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
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…