02360346 - Project in Computer-aided Verification, Spring2024

הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل

02360346 - פרויקט באימות תכניות בעזרת מחשב 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification

אביב 2023-2024Spring 2023-2024Весна 2023-2024ربيع 2023-2024

קישורים Links Ссылки وصلات

Videos

Zoom

GitHub repository

Sindarin Compiler

Dafny -- a sample verifier from Microsoft Research

Videos
Recorded lectures

Zoom
Live lectures (hybrid) -- see syllabus for password

GitHub repository
This repository contains code that you can use in the project and a set of example programs (benchmarks) for basic testing.

Sindarin Compiler
A bare-bones UI in which you can investigate C program ASTs.