4447 search results - page 41 / 890 » Model Checking Games |
110
click to vote
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
130
click to vote
FUIN
2006
15 years 3 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
118
Voted
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
—The language game approach is widely adopted to study conventionalization of linguistic knowledge. Most of contemporary models concentrate on the dynamics of language games in r...
114
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
137
Voted
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...