DESCRIPTION The automated reasoning group is building the next generation of agile software development tools, aided... by generative AI and automated reasoning/formal methods technology. We use software verification tools and advances in artificial...