CoVer Output Traces DTD

The Traces.xml file have the following DTD:

 <ELEMENT traces (trace*) >
 <ELEMENT trace (sync | delay)* >
 <ELEMENT sync  (var*) >
 <ATTRLIST sync name CDATA #IMPLIED >
 <ELEMENT delay (#PCDATA) >
 <ELEMENT var (#PCDATA) >
 <ATTRLIST var name CDATA #IMPLIED >
 
  
 

The interaction is a sequence of traces, each trace is a sequence of sync or delay.

CoVer Output Example

Example 1:

      
<?xml version="1.0" ?>
<!-- Generated by Uppaal CoVer -->
<traces>
<trace>
<sync name="a">
    <var name="p">valueis1</var>
</sync>
</trace>
<trace>
<sync name="a">
    <var name="p">valueis2</var>
</sync>
</trace>
</traces>