MATF-Software-Verification
Collection of materials and team projects for Software Verification course at Faculty of Mathematics, University of Belgrade
Faculty of Mathematics, University Belgrade, Serbia
Pinned Repositories
2019_01_Klee_search
2019_04_clang_static_analyzer_check
2019_06_clang_static_analyzer_checkers
2023_Analysis_pacman
2023_Analysis_tankattack
2023_msnr_portal_unittest
MATF-Software-Verification.github.io
VS-analysis-project-faq
FAQ for analysis projects
VS-materials
A collection of practice materials for Software Verification course
VS-project-ci
VS project repository CI configuration
MATF-Software-Verification's Repositories
MATF-Software-Verification/VS-materials
A collection of practice materials for Software Verification course
MATF-Software-Verification/2023_Analysis_Sudoku-Game
MATF-Software-Verification/MATF-Software-Verification.github.io
MATF-Software-Verification/VS-analysis-project-faq
FAQ for analysis projects
MATF-Software-Verification/VS-project-ci
VS project repository CI configuration
MATF-Software-Verification/2023_Analysis_02-moxit-mock-dixit
MATF-Software-Verification/2023_Analysis_03-visual
MATF-Software-Verification/2023_Analysis_04-MrSnowman
MATF-Software-Verification/2023_Analysis_04-slagalica
MATF-Software-Verification/2023_Analysis_08-mainant
MATF-Software-Verification/2023_Analysis_10-igra-scrabble
MATF-Software-Verification/2023_Analysis_10-stratego
MATF-Software-Verification/2023_Analysis_11-riziko
MATF-Software-Verification/2023_Analysis_12-file-manager
MATF-Software-Verification/2023_Analysis_13-super-mare
MATF-Software-Verification/2023_Analysis_15-catch-me-if-you-can
MATF-Software-Verification/2023_Analysis_15-matf-chicken-invaders
MATF-Software-Verification/2023_Analysis_16-battleships
MATF-Software-Verification/2023_Analysis_2021_Mafia
MATF-Software-Verification/2023_Analysis_2048
MATF-Software-Verification/2023_Analysis_24-kalendar
MATF-Software-Verification/2023_Analysis_calculator
MATF-Software-Verification/2023_Analysis_mlxtend
MATF-Software-Verification/2023_Analysis_oisisi
MATF-Software-Verification/2023_Analysis_password-manager
MATF-Software-Verification/2023_Analysis_VisuAlgo
MATF-Software-Verification/2023_Analysis_vpaint
MATF-Software-Verification/2023_Analysis_zephyr
MATF-Software-Verification/2023_VLC-Media-Player_KLEE
MATF-Software-Verification/2024_01-traffic-express