Repositories list

• VS-materials

  Public
  A collection of practice materials for Software Verification course

  C

  •0•1•2•0•Updated Nov 23, 2025Nov 23, 2025

• VS-analysis-project-faq

  Public
  FAQ for analysis projects

  0•0•0•0•Updated Nov 12, 2025Nov 12, 2025

• 2023_Analysis_13-Git-stat

  Public
  HTML

  •0•0•0•0•Updated Oct 30, 2025Oct 30, 2025

• 2024_Analysis_Minesweeper-Game

  Public
  HTML

  •0•0•0•0•Updated Oct 28, 2025Oct 28, 2025

• 2024_Research_UnittestCodeCov

  Public
  F#

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Oct 23, 2025Oct 23, 2025

• 2024_Analysis_CocktailsDbApp

  Public
  HTML

  •0•0•0•0•Updated Oct 22, 2025Oct 22, 2025

• 2024_Analysis_dagger-relic

  Public
  Shell

  •0•0•0•0•Updated Oct 22, 2025Oct 22, 2025

• 2024_Analysis_kOrganizify

  Public
  HTML

  •0•0•0•0•Updated Oct 22, 2025Oct 22, 2025

• 2024_Analysis_2022_Bluetooth-Chat-and-Remainder-app

  Public
  HTML

  •0•0•0•0•Updated Oct 22, 2025Oct 22, 2025

• 2024_Analysis_MatfTunes

  Public
  HTML

  •0•0•0•0•Updated Oct 20, 2025Oct 20, 2025

• 2023_Analysis_06-catan

  Public
  HTML

  •0•0•0•0•Updated Oct 20, 2025Oct 20, 2025

• 2024_Research_Clang-checks

  Public
  C++

  •0•0•0•0•Updated Oct 20, 2025Oct 20, 2025

• 2024_Analysis_2020_12_SuggestFix

  Public
  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Oct 19, 2025Oct 19, 2025

• 2024_Research_2024-clang-semantic-checks

  Public
  C++

  •0•0•0•0•Updated Oct 19, 2025Oct 19, 2025

• 2024_Research_vizuelizacija-knutovog-algoritma

  Public
  TypeScript

  •0•0•0•0•Updated Oct 17, 2025Oct 17, 2025

• 2024_Research_KLEExplore

  Public
  HTML

  •0•0•0•0•Updated Oct 10, 2025Oct 10, 2025

• 2023_Analysis_sudoku

  Public
  HTML

  •0•0•0•0•Updated Oct 9, 2025Oct 9, 2025

• 2024_Analysis_12-Uno

  Public
  HTML

  •0•0•0•0•Updated Oct 9, 2025Oct 9, 2025

• 2024_Analysis_Zelda

  Public
  Shell

  •0•0•0•0•Updated Oct 8, 2025Oct 8, 2025

• 2024_Analysis_online-shopping-system

  Public
  HTML

  •0•0•0•0•Updated Sep 26, 2025Sep 26, 2025

• 2024_Analysis_MATFWars

  Public
  C++

  •0•0•0•0•Updated Sep 16, 2025Sep 16, 2025

• 2024_Research_CppToPython

  Public
  Java

  •0•2•0•0•Updated Sep 10, 2025Sep 10, 2025

• 2024_Analysis_Airline-Reservation-System

  Public
  HTML

  •0•0•0•0•Updated Sep 10, 2025Sep 10, 2025

• 2024_Analysis_optimization

  Public
  HTML

  •0•0•0•0•Updated Aug 28, 2025Aug 28, 2025

• 2024_Research_MassifCheck

  Public
  C++

  •1•2•0•0•Updated Aug 25, 2025Aug 25, 2025

• 2024_Research_UnittestOpt

  Public
  Python

  •0•0•0•0•Updated Aug 19, 2025Aug 19, 2025

• 2024_Analysis_StudySphere

  Public
  Shell

  •0•0•0•0•Updated Aug 17, 2025Aug 17, 2025

• 2023_Analysis_zephyr

  Public
  C

  •0•0•0•0•Updated Aug 14, 2025Aug 14, 2025

• 2023_Analysis_number-one-uno

  Public
  0•0•0•0•Updated Aug 12, 2025Aug 12, 2025

• 2024_Analysis_ECE350Final

  Public
  C++

  •0•0•1•0•Updated Aug 7, 2025Aug 7, 2025