uppaal-parking zbeyens · COMPLETED
Formal verification - company magement
github.com/zbeyens/uppaal-parking · ★ 0 · Forks 0 · Size 5.9 MB
SUMMARY
Technologies 5
Scored 5
Observed 5
Practices 6
Evidence 5
Skips 0
COVERAGE
Analyzed 90 files · 42 commits · 0 API calls
TECHNOLOGIES & DEPTH
C++ LANGUAGE Depth 70
13 files · PRODUCTION
Shell LANGUAGE Depth 70
1 files · PRODUCTION
C LANGUAGE Depth 70
7 files · PRODUCTION
Markdown LANGUAGE Depth 70
3 files · PRODUCTION
XML LANGUAGE Depth 70
9 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2017-05-12
Last commit 2017-06-19
Active months 2
Commits 42