Generating protocol-compliant simulators for formally-verifiable software interfaces (protocols).
Eclipse Modeling Framework, Model-Driven Engineering Tools, C/C++
No more information available.
