Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis | IEEE Conference Publication | IEEE Xplore