Ecdar/j-Ecdar
View on GitHubA model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
- Stars
- 4
- Forks
- 9
- Open beginner issues
- 0
- Indexed issues
- 26
- Dominant language
- Java
- License
- MIT
- Last GitHub push
- Mar 30, 2023
- Latest indexed
- Sep 15, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- good first issue help wanted
- PR merge metrics
- No merged PRs in 30d
-
enhancement
-
Fixing the runtime Openenhancement
-
bug
-
enhancement
-
bug
-
enhancement
-
enhancement
-
enhancement
-
enhancement
-
enhancement
-
documentation
-
documentation enhancement
-
enhancement good first issue
-
enhancement good first issue
-
bug help wanted invalid question
-
enhancement good first issue
-
enhancement help wanted question
-
enhancement good first issue
-
enhancement good first issue
-
enhancement
-
bug
-
bug enhancement
-
enhancement
-
enhancement
-
Spaces in names Openbug
-
CDD x>=0 and x<0 Openbug
Ecdar/j-Ecdar#100 · 0 comments · 0 reactions · 0 assignees ·