1541 search results - page 86 / 309 » Tools and Techniques for Model Checking Networked Programs |
SOFTVIS
2003
ACM
15 years 5 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
104
click to vote
HPCN
2000
Springer
15 years 4 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
127
Voted
JACM
2002
15 years 9 days ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
97
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
114
Voted
STOC
1998
ACM
15 years 4 months ago
1998
ACM
We present a Monte Carlo algorithm for testing multivariate polynomial identities over any field using fewer random bits than other methods. To test if a polynomial P(x1 ::: xn) ...