AI-assisted tools and methods for making formal verification more productive and accessible.
Methods and tools for reliable infrastructure as code.
Executional framework for running analysis tools on smart contracts.
Tools and methods to improve password security.
Tools and methods for computer-generated narratives.
Tools, methods, and resources that support teaching formal methods.