GitHub - FM-DCC/sv2425: Material for the course on System Verification 2024/2025, from DCC, FCUP, University of Porto

Website for the System Verification MSc course of FCUP 2024/2025.

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
.github/workflows		.github/workflows
_includes		_includes
assets		assets
exercises		exercises
slides		slides
.gitignore		.gitignore
Gemfile		Gemfile
Gemfile.lock		Gemfile.lock
_config.yml		_config.yml
index.md		index.md
readme.md		readme.md

Provide feedback