The pursuit of responsible AI raises the ante on both the trustworthy computing and formal methods communities.