Formal Methods Tools

All Taxonomy Data

This page contains all of the taxonomy data on this site. There is a lot here, it might be helpful to do a CTRL+F. Click on an item in the first column to focus the view onto one taxonomy (e.g., to view a list of tool developers). Click on a colorful item in the second column to view all the tools for which that term applies (e.g., to view all the tools developed at SRI International).

Applications SMT Solver Theorem Prover
Developers LORIA Microsoft Research SRI International ULiege
Inputs DIMACS SMTLIB2 Yices 2
Interfaces .NET C C++ CLI Java Online Python Rust
Licenses BSD GPLv3 MIT
Maintenance Actively Maintained