@MATF-Software-Verification
Guthub

MATF-Software-Verification

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Org. Rank 236,677 (Top 76 %)
  • Registered about 5 years ago
  • Most used languages
    C++
         50.0 %
    C
         25.0 %
    Elixir
         25.0 %
  • Location πŸ‡·πŸ‡Έ Serbia
  • Country Total Rank 1,863
  • Country Ranking
    Elixir
         18
    C
         231
    C++
         253

Top repositories

1

2019_01_Klee_search

C++
1
star
2

2023_msnr_portal_unittest

Elixir
1
star
3

2019_06_clang_static_analyzer_checkers

C++
1
star
4

VS-materials

A collection of practice materials for Software Verification course
C
1
star