Sascha Klüppelholz | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Christel Baier
32 publications
Marcus Völp
10 publications
Hermann Härtig
6 publications
Hendrik Tews
2 publications
Joachim Klein
2 publications
Steffen Märcker
1 publication
Marcus Daum
1 publication
Benjamin Engel
1 publication

research

∙ 11/27/2012

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

Reliability in terms of functional properties from the safety-liveness s...

0 Christel Baier, et al. ∙