The Research Institute on Verified Trustworthy Software Systems