47 search results - page 2 / 10 » cav 2010 |
FMSD
2010
13 years 5 months ago
2010
Abstract The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. ...
CAV
2010
Springer
13 years 4 months ago
2010
Springer
CAV
2010
Springer
13 years 3 months ago
2010
Springer
CAV
2010
Springer
13 years 10 months ago
2010
Springer
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...