e/List of model checking tools

Information
has gloss	eng: This article lists Model Checking Tools classified by some interesting properties. Some articles about: history and introduction to Model Checking. There are some books deal with model checking techniques.
lexicalization	eng: List of Model Checking Tools
instance of	c/Formal methods tools