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

Auteur : Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Date de publication : 2013

Éditeur : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden

Nombre de pages : Non disponible