Lenore D. Zuck

• Verification, model checking, and abstract interpretation