The top documents tagged [model checkingbased]

Haley: A Hierarchical Framework for Logical Composition of Web Services

---

35 views

An environment for Interactive Service Specification Laboratoire LSR Logiciels Systèmes Réseaux Software, Systems, Networks K. Berkani, R. Cave, S. Coudert,

---

218 views

An environment for Interactive Service Specification

---

47 views