1541 search results - page 103 / 309 » Tools and Techniques for Model Checking Networked Programs |
128
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
164
click to vote
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
129
click to vote
CCGRID
2010
IEEE
15 years 5 months ago
2010
IEEE
In this research, we investigate and address the challenges of asymmetry in High-End Computing (HEC) systems comprising heterogeneous architectures with varying I/O and computation...
152
click to vote
FORTE
2004
15 years 5 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
147
click to vote
JFP
2008
15 years 4 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...