MATF-Software-Verification

Collection of materials and team projects for Software Verification course at Faculty of Mathematics, University of Belgrade

15 followers
Faculty of Mathematics, University Belgrade, Serbia
http://www.verifikacijasoftvera.matf.bg.ac.rs/

Pinned Loading

VS-materials VS-materials Public

A collection of practice materials for Software Verification course

C 1
MATF-Software-Verification.github.io MATF-Software-Verification.github.io Public

HTML
VS-analysis-project-faq VS-analysis-project-faq Public

FAQ for analysis projects
VS-project-ci VS-project-ci Public

VS project repository CI configuration

Shell

Repositories

2026_Research_Symbolic-Tree-Search-Graph-Coloring Public

MATF-Software-Verification/2026_Research_Symbolic-Tree-Search-Graph-Coloring’s past year of commit activity

Python 0 0 0 0 Updated Jan 29, 2026
2024_Analysis_Yugioh Public

MATF-Software-Verification/2024_Analysis_Yugioh’s past year of commit activity

0 0 0 0 Updated Jan 24, 2026
2026_Analysis_bas-celik Public

MATF-Software-Verification/2026_Analysis_bas-celik’s past year of commit activity

HTML 0 0 0 0 Updated Jan 18, 2026
VS-materials Public
A collection of practice materials for Software Verification course

MATF-Software-Verification/VS-materials’s past year of commit activity

C 1 0 1 0 Updated Jan 12, 2026
2026_delta-kernel-rs Public

MATF-Software-Verification/2026_delta-kernel-rs’s past year of commit activity

0 0 0 0 Updated Jan 11, 2026
2024_Analysis_pobedi-me-ako-znas Public

MATF-Software-Verification/2024_Analysis_pobedi-me-ako-znas’s past year of commit activity

Shell 0 0 0 0 Updated Jan 11, 2026
2026_Analysis_libcsv Public

MATF-Software-Verification/2026_Analysis_libcsv’s past year of commit activity

0 0 0 0 Updated Jan 8, 2026
2026_Research_MetaforfnoTestiranje Public

MATF-Software-Verification/2026_Research_MetaforfnoTestiranje’s past year of commit activity

0 0 0 0 Updated Jan 8, 2026
2026_Analysis_g3log Public

MATF-Software-Verification/2026_Analysis_g3log’s past year of commit activity

0 0 0 0 Updated Jan 8, 2026
2026_Analysis_cascadia Public

MATF-Software-Verification/2026_Analysis_cascadia’s past year of commit activity

1 0 0 0 Updated Jan 8, 2026

View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…