VMCAI 2010 (2010 Madrid, Spain)

• Verification, model checking, and abstract interpretation