181 search results - page 37 / 37 » A Practical Approach to Coverage in Model Checking |
119
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...