Skip to content

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

Felix Stutz requested 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