323 search results - page 45 / 65 » Verify Your Runs |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
HOTDEP
2008
14 years 5 days ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
ASPDAC
2008
ACM
13 years 12 months ago
2008
ACM
- Simulation-based functional verification is characterized by two inherently conflicting targets: the signal visibility and simulation performance. Achieving a proper trade-off be...
CEAS
2008
Springer
13 years 12 months ago
2008
Springer
We describe a plugin extension to the Thunderbird Mail Client to support standardized evaluation of multiple spam filters on private mail streams. Researchers need not view or han...
CP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...