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 Constraint Solver Counterexample Generator Model Checker Probabilistic Model Checker SAT Solver SMT Solver Theorem Prover
Developers Albert-Ludwigs-Universität CEA DHBW Stuttgart DISI-University of Trento Eindhoven University of Technology Fondazione Bruno Kessler Gilles Audemard INRIA Rhône-Alpes Johannes Kepler Universität Linz Laurent Simon LORIA Masaryk University Microsoft Research Niklas Eén Niklas Sörensson Norbert Manthey OCaml Pro Oxford University RWTH Aachen SRI International Stanford University TU Wien ULiege University of Freiburg University of Illinois University of Iowa University of Lugano University of Virginia Utah State University
Inputs Alt-Ergo CNF DIMACS Galileo GreatSPN JANI MRMC PNML PRISM Sally SMTLIB2 Yices 2
Interfaces .NET C C++ CLI Java Online Python Rust
Licenses All Rights Reserved Apache-2.0 BSD GPLv2 GPLv3 LGPLv2 MIT OCamlPro-Non-Commercial
Maintenance Actively Maintained Not Maintained
Techniques CDCL GPU