7329 search results - page 7 / 1466 » Network Extractor Protocols |
121
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
150
Voted
ICB
2009
Springer
15 years 15 days ago
2009
Springer
This paper describes the objectives, the tasks proposed to the participants and the associated protocols in terms of database and assessment tools of two present competitions on fi...
89
Voted
ICNP
2007
IEEE
15 years 9 months ago
2007
IEEE
ICNP
2007
IEEE
15 years 9 months ago
2007
IEEE
93
Voted
ICNP
2006
IEEE
15 years 8 months ago
2006
IEEE