INTO-CPS-Association

INTO-CPS-Association/FMI-VDM-Model

A formal model of the FMI specification in VDM

Stars: 13
Forks: 3
Open beginner issues: 0
Indexed issues: 3

Dominant language: HTML
License: No license data
Last GitHub push: Jul 28, 2025
Latest indexed: Sep 17, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

3 open issues indexed

CoSimualation (misspelling) causes exception Open

INTO-CPS-Association/FMI-VDM-Model#33 · 10 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Minor: Missing pretty-print of mk_aliastag? Open

INTO-CPS-Association/FMI-VDM-Model#34 · 3 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Classes without a package Open

INTO-CPS-Association/FMI-VDM-Model#36 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026

A short digest of beginner-friendly GitHub issues.