Abstraction-based Trace Generation to Validate Semantics of Formal Verifiers: Validation Model Suite

<p>Dataset of the Scientific Students&rsquo; Association Report&nbsp;titled&nbsp;Abstraction-based Trace Generation to Validate Semantics of Formal Verifiers.</p> <p>These&nbsp;files contain&nbsp;the validation model test suite and the generated traces. The models and traces are in the format of the Gamma modeling tool.</p> <p><em>validation-model-suite/model/package&lt;Letter&gt;/model&lt;Number&gt; </em>contains the files for a given model:<br> - stm.gcd is the statemachine,<br> -&nbsp;default.ggen (and in Package F also abstraction.ggen) is the Gamma script executing trace generation and the generated traces can be found in the default (and abstraction) directories.<br> The report of Theta on possible coverage violation is in the traces directory (report.txt).</p> <p>&nbsp;</p> <p>The prototype implementation of trace generation can be found at:&nbsp;https://github.com/AdamZsofi/gamma/tree/dev-tracegen</p>