245 search results - page 1 / 49 » Verifying networked programs using a model checker extension |
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
SNPD
2008
13 years 6 months ago
2008
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 interlea...
HICSS
2000
IEEE
13 years 9 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
SPIN
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
CSSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...