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 complex and thus less predictable hardware. quantitative and probabilistic guarantees become more and more important. https://leoners.shop/product-category/planter/