CoVer version 1.4

Basic workflow Files needed Model.xml, Observer.obs, and Property.q. The trace can be saved in Trace.xml .