This article lists model checking tools and gives an overview of the functionality of each.
The following table includes model checkers that have In the below table, the following abbreviations are used: 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: