Skip to content

FM-DCC/sv2526

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

37 Commits
_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/

Resources

Readme
Activity
Custom properties

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages