v4.0 - COOL with Modelchecking · Milestones · Software / COOL · GitLab

Skip to content

GitLab

Explore

Sign in

Admin message

On 12.11.2025, a key rollover will occur. IdM login may be temporarily unavailable.

Open

Milestone

v4.0 - COOL with Modelchecking

Work items 2
Merge requests 0
Participants 0
Labels 1

Loading

Loading

Loading

Loading

0% complete

0%

Start date

No start date

None

Due date

No due date

2

Work items 2 New issue

Open: 2 Closed: 0

0

Merge requests 0

Open: 0 Closed: 0 Merged: 0

0

Releases

None

Reference: software/cool%"v4.0 - COOL with Modelchecking"