Abstraction and Modular Reasoning for the Verification of Software Corina Pasareanu NASA Ames Research Center.