Name		Name	Last commit message	Last commit date
parent directory ..
images		images
stylesheets		stylesheets
.gitignore		.gitignore
README.md		README.md
doxygen.config		doxygen.config

README.md

SVF-Teaching

Learning and Teaching Software Analysis, Verification and AI via SVF

Software Analysis Course

Software Verification Course

Static Analysis and AI Course