@MATF-Software-Verification
Guthub

MATF-Software-Verification

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Org. Rank 235,349 (Top 76 %)
  • Registered over 4 years ago
  • Most used languages
    C++
         50.0 %
    Elixir
         25.0 %
    C
         25.0 %
  • Location 🇷🇸 Serbia
  • Country Total Rank 1,863
  • Country Ranking
    Elixir
         19
    C
         166
    C++
         213

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