131 search results - page 27 / 27 » Model Checking Prioritized Timed Automata |
EMSOFT
2006
Springer
14 years 7 days ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...