3 ms·Vera++: a Programmable Tool for Verification, Analysis and Transformation of C++3 points by vmorgulis 11y ago