First Hardware Verification Workshop,
at next FLOC'10 in Edinburgh.

Results of HWMCC'08 available.
HWMCC'10 is next, affl. with HWVW'10.

Source code of DepQBF available,
our new search-based QBF solver.

We were involved in organizing FMCAD'09.
Pictures, Slides available.

Daniel Kröning (Oxford University) on
Model Checking C++ Programs that use the STL.

In the latest SMT competition, our SMT-solver
Boolector won the second place in the division
of bit-vectors and the first place in the division
of bit-vectors and arrays.

Three prizes for our SAT solver PrecoSAT.

Video presented at SAT'08.

We organized a talk about
Satisfiability Modulo Theories @ Microsoft.