White Papers

Model Checking Networked Programs in the Presence of Transmission Failures

Overview Software model checkers work directly on single-process programs, but not on multiple processes. 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. If a naive fault model is used, spurious deadlocks may appear, because certain processes are terminated before they can complete a necessary action. Such spurious deadlocks have to be suppressed, as implemented in the model checker extension. The approach discussed in this paper found several faults in existing applications, and scales well because exceptions generated by the tool can be checked individually.

Download White Paper

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher
National Institute of Informatics
File Format
PDF
Date Published
Jun 27, 2007
Format
White Papers
Topics
Application Development, Java, TCP - IP

National Institute of Informatics White Papers

Traffic Analysis and Network Bandwidth Provisioning Tools for Academic Information Networks

Traffic Analysis and Network Bandwidth Provisioning Tools for Academic Information Networks

A set of traffic analysis and network bandwidth provisioning tools for support of the Science Information Network (SINET

Publisher: National Institute of Informatics  |  Tags: data, network, software

How to Import an Existing XML Dictionary Into the Papillon Platform

How to Import an Existing XML Dictionary Into the Papillon Platform

The Papillon project aims at building a multilingual lexical database for extracting dictionaries. To avoid starting fro

Publisher: National Institute of Informatics  |  Tags: database