3082 search results - page 87 / 617 » Deviation Analysis: A New Use of Model Checking |
174
click to vote
SDL
2003
15 years 7 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
151
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
166
click to vote
CDC
2008
IEEE
16 years 20 days ago
2008
IEEE
— A new congestion control protocol is presented, analyzed and experimentally evaluated. It consists of the standard inner-loop ACK-clock and a novel outer-loop adjusting the win...
150
click to vote
KBSE
2005
IEEE
15 years 11 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...
196
click to vote
SIGMETRICS
2011
ACM
14 years 9 months ago
2011
ACM
Branch taken rate and transition rate have been proposed as metrics to characterize the branch predictability. However, these two metrics may misclassify branches with regular his...