e/Vereofy

Information
has gloss	eng: Vereofy is a software model checker for component-based systems for operational correctness . It was written by Prof. Christel Baier at Technische Universität Dresden. Vereofy uses constraint automata as formal semantics for the components behavior and for Reo Coordination Language. Vereofy allows for linear and branching time model checking. The model checker can be used as a stand-alone tool or via an Eclipse (software) plug-in.
lexicalization	eng: Vereofy
instance of	e/Model checkers