Model Checking Networked Programs in the Presence of Transmission Failures
White Papers Conversion of processes into threads, combined with a network model, allows for model checking distributed applications, but does not cover potential communication failures. This paper contributes a fault model for model checking networked programs.
[June 27, 2007, 1:00]
