276 search results - page 8 / 56 » Model Checking Groupware Protocols |
FM
2003
Springer
14 years 3 months ago
2003
Springer
WECWIS
2000
IEEE
14 years 2 months ago
2000
IEEE
ENTCS
2008
13 years 10 months ago
2008
CSFW
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
TYPES
1993
Springer
14 years 2 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...