151
Voted
PERCOM
2010
ACM
15 years 2 days ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...