Skip to main content.

CoVer version 1.4


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