# [ref_impl_eiffel] [782] Initial cut of reference model checker.

**Category:** [Reference Implementation: Eiffel (archive)](https://discourse.openehr.org/c/reference-implementation-eiffel-archive/161)
**Created:** 2009-02-02 02:18 UTC
**Views:** 1
**Replies:** 0
**URL:** https://discourse.openehr.org/t/ref-impl-eiffel-782-initial-cut-of-reference-model-checker/16140

---

## Post #1 by @svn1

Revision: 782
Author:   thomas\.beale

Log Message:

---


**Canonical:** https://discourse.openehr.org/t/ref-impl-eiffel-782-initial-cut-of-reference-model-checker/16140
**Original content:** https://discourse.openehr.org/t/ref-impl-eiffel-782-initial-cut-of-reference-model-checker/16140