Tools and Techniques for Model Checking Networked Programs

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2008 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing  
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interleavings. Software model checkers can directly verify an implementation, but typically cannot handle network input/output operations, which most programs require. This shortcoming can be addressed by a special model checker designed for multiple processes, or by different kinds of extensions and preprocessors for existing
more » ... model checkers. This paper surveys currently existing approaches and tools.
doi:10.1109/snpd.2008.36 dblp:conf/snpd/ArthoLHT08a fatcat:74g7bnjfr5erlefh3xahdfmhvm