This article lists model checking tools and gives an overview of the functionality of each. The following table includes model checkers that have a web site from which it can be downloaded, a declared license, a description published in archived literature, and a Wikipedia article describing it. In the below table, the following abbreviations are used: Equivalences: SB: Strong Bisimulation WB: Wea
