Verification, model checking, and abstract interpretation
VMCAI 2004 (Conference) (2004 Venice, Italy)