The top documents tagged [low security level system]

Bounded Probabilistic Model Checking with the Murphi Verifier

---

38 views

Verifica Automatica via Model Checking Enrico Tronci Dipartimento di Informatica, Università di Roma “La Sapienza”, Via Salaraia 113, 00198 Roma, Italy,

---

220 views

Verifica Automatica via Model Checking

---

33 views