VMCAI 2008 (2008 San Francisco, Calif.)

• Verification, model checking, and abstract interpretation