e/Model checkers

Information
lexicalization	eng: Model checkers
subclass of	(noun) a checkerboard game for two players who each have 12 pieces; the object is to jump over and so capture the opponent's pieces checkers, draughts
has instance	e/FDR2
has instance	e/MCRL2
has instance	e/Markov Reward Model Checker (MRMC)
has instance	e/NuSMV
has instance	e/PRISM (model checker)
has instance	e/Rabbit Model Checker
has instance	e/TAPAs model checker
has instance	e/Vereofy