The top documents tagged [kripke structure s]

© Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 5. Model Checking Modellbasierte Softwareentwicklung 1 17.01.2013.

---

214 views

Review of the automata-theoretic approach to model-checking.

---

224 views