The following is a partial list of state-of-the-art tools that implement the techniques covered in the course. It is designed to serve as inspiration for the kinds of tools you may want to use or build in the course project. Some of them will also be featured in the homework assignments.

SAT solving

SMT solving

Finite model finding


Bounded verification

Symbolic execution

Model checking

Synthesis and more