Skip to content

Add state explosion example that enforces local language preservation and fix bug in size computation

Felix Stutzrequested to merge
thesis_artifact into cav_artifact

change state explosion example to the one that enforces local language preservation; fix bug in size computation

Merge request reports