VMCAI 2002 (2002 Venice, Italy)

• Verification, model checking, and abstract interpretation