VMCAI 2004 (2004 Venice, Italy)

• Verification, model checking, and abstract interpretation