Volume 35, Number 1, August 2009 Special Issue:
20th International Conference on Computer Aided Verification (CAV'08)
The CAV award.
: Word level bitwidth reduction for unbounded hardware model checking.
Volume 35, Number 2, October 2009
Volume 35, Number 3, December 2009 Special issue on Numerical Software Verification
: Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics.
: Testing-based translation validation of generated code in the context of IEC 61508.