VMCAI 2005 (2005 Paris, France)

• Verification, model checking, and abstract interpretation