Skip to content

Draft: Modelchecking in COOL

Merlin requested to merge modcheck into master

Attempt to get the long-standing modelchecking branch ready for merging.

Merge request reports