List of model checking tools

This article lists model checking tools and gives an overview of the functionality of each. == Overview of some model checking tools == 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.