Description of the Model Checking Project for the course Fortgeschrittene funktionale Programmierung, ECTS 3.0, 2025 S 1. You can find the description in the file "spec.pdf".
francescopont/MiniCheck
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|