61 search results - page 6 / 13 » Mechanical Verification of Hypercube Algorithms |
DAC
2003
ACM
16 years 20 days ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
PODC
2003
ACM
15 years 5 months ago
2003
ACM
We present a methodology for automatic discovery of synchronization algorithms. We built a tool and used it to automatically discover hundreds of new algorithms for the well-known ...
102
Voted
TCAD
2008
14 years 11 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
FMSD
2002
14 years 11 months ago
2002
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
126
click to vote
SOCO
2010
Springer
14 years 6 months ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...