Vera++: a Programmable Tool for Verification, Analysis and Transformation of C++bitbucket.org3 pointsvmorgulis10 years ago