1541 search results - page 32 / 309 » Tools and Techniques for Model Checking Networked Programs |
123
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
108
Voted
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
103
click to vote
ICCD
1995
IEEE
15 years 4 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
ENTCS
2007
15 years 13 days ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...