e/FDR2

Information
has gloss	eng: FDR (Failures-Divergences Refinement) and subsequently FDR2 are refinement checking software tools, designed to check formal models expressed in Communicating sequential processes (CSP). The tools have been developed by Formal Systems (Europe) Ltd. Bill Roscoe of the Oxford University Computing Laboratory devised the algorithms used by the tool and Michael Goldsmith was instrumental in the implementation. FDR2 is downloadable from Formal Systems.
lexicalization	eng: FDR2
instance of	e/Model checkers