Echo v0.2 Tool Demo

Name: Echo v0.2 Tool Demo
Uploaded: 2013-06-05T10:14:01+00:00
Duration: 4 min 50 s
Channel: Nuno Macedo
Description: Echo is a tool for model repair and transformation based on model finding, available at haslab.github.io/echo. It is developed by the HASLab group at University of Minho, Portugal.

Echo is a tool for model repair and transformation based on model finding, available at haslab.github.io/echo. It is developed by the HASLab group at University of Minho, Portugal.