List of model checking tools

This article lists model checking tools and gives a synthetic overview their functionalities.
Overview of some model checking tools.
The following table includes model checkers that have
(1) a web site from which it can be downloaded,
(2) a declared license,
(3) a description published in archived literature, and
(4) a Wikipedia article describing it.
In the below table, the following abbreviations are used:
Comparison of model checking tools.
Scientific publications.
There exists a few papers that systematically compare various model checkers on a common case study. The comparison usually discusses the modelling tradeoffs faced when using the input languages of each model checker, as well as the comparison of performances of the tools when verifying correctness properties. One can mention:
External links.
Other model checkers that do not yet have a Wikipedia page:
and