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

Repository navigation

sv2526

Public

About

Material for the course on System Verification 2025/2026, from DCC, FCUP, University of Porto

fm-dcc.github.io/sv2526/

Custom properties

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
_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

Repository files navigation

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

About

Material for the course on System Verification 2025/2026, from DCC, FCUP, University of Porto

fm-dcc.github.io/sv2526/

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages