CAV
2007
Springer
13 years 12 months ago
2007
Springer
CAV
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
CAV
2007
Springer
13 years 12 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
CAV
2007
Springer
13 years 12 months ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
CAV
2007
Springer
13 years 12 months ago
2007
Springer
CAV
2007
Springer
13 years 12 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
CAV
2007
Springer
13 years 12 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
CAV
2007
Springer
13 years 12 months ago
2007
Springer
CAV
2007
Springer
13 years 12 months ago
2007
Springer
CAV
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...