1362 search results - page 31 / 273 » Model Checking Large Network Protocol Implementations |
115
click to vote
LISA
2003
15 years 3 months ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
126
click to vote
PADS
2009
ACM
15 years 8 months ago
2009
ACM
A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular mobility model onto graphical processing unit computational platform for simul...
114
click to vote
P2P
2006
IEEE
15 years 8 months ago
2006
IEEE
Recently there has been an increasing interest to harness the potential of P2P technology to design and build rich environments where services are provided and multiple applicatio...
100
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
107
click to vote
ACSD
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...