2009 CAV award announcement

Abstract The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. This annual award recognizes a specific fundamental contribution or series of outstanding contributions to the CAV field. Keywords Computer-aided verification · Boolean satisfiability

• Type: Journal
• Year: 2010
• Where: FMSD
• Authors: Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi
• Keywords: Boolean Satisfiability, Boolean Satisfiability Solvers, Computer-aided Verification, FMSD 2010