Vereofy

Vereofy is a software model checker for component-based systems for operational correctness.[1] 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.

Input Languages

Vereofy uses two input languages: Reo Coordination Language and Constraint Automata Reactive Module Language. They are equally powerful and rely on the same semantic model.

See also

External links

References

  1. ↑ "Vereofy* V1.0.3 - User Manual" by Tobias Blechmann, Joachim Klein, Sascha Kluppelholz, Technical University of Dresden, Germany.
This article is issued from Wikipedia - version of the Wednesday, January 09, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.