MATF-Software-Verification

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

4 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

2023_Analysis_10-stratego Public

MATF-Software-Verification/2023_Analysis_10-stratego’s past year of commit activity

Shell 0 0 0 0 Updated Jul 14, 2024
2023_Analysis_15-matf-chicken-invaders Public

MATF-Software-Verification/2023_Analysis_15-matf-chicken-invaders’s past year of commit activity

HTML 0 0 0 0 Updated Jun 28, 2024
2023_Analysis_04-MrSnowman Public

MATF-Software-Verification/2023_Analysis_04-MrSnowman’s past year of commit activity

Python 0 0 0 0 Updated Jun 4, 2024
2023_Analysis_08-mainant Public

MATF-Software-Verification/2023_Analysis_08-mainant’s past year of commit activity

HTML 0 0 0 0 Updated Jun 2, 2024
2023_Analysis_vpaint Public

MATF-Software-Verification/2023_Analysis_vpaint’s past year of commit activity

HTML 0 0 0 0 Updated May 26, 2024
MATF-Software-Verification.github.io Public

MATF-Software-Verification/MATF-Software-Verification.github.io’s past year of commit activity

HTML 0 MIT 0 0 0 Updated May 25, 2024
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 May 25, 2024
2023_Analysis_11-riziko Public

MATF-Software-Verification/2023_Analysis_11-riziko’s past year of commit activity

HTML 0 0 0 0 Updated May 7, 2024
2023_VLC-Media-Player_KLEE Public

MATF-Software-Verification/2023_VLC-Media-Player_KLEE’s past year of commit activity

C++ 0 0 0 0 Updated Apr 3, 2024
2023_Analysis_15-catch-me-if-you-can Public

MATF-Software-Verification/2023_Analysis_15-catch-me-if-you-can’s past year of commit activity

HTML 0 0 0 0 Updated Feb 6, 2024

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