Skip to content
/ Trabalhos-MFES-2023-2024 Public

Repositório dos trabalhos de casa da UC de Métodos Formais em Engenharia de Software (MFES) - Mestrado em Engenharia Informática (MEI/MIEI) - Universidade do Minho (UMinho)

0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

orlandopalmeira/Trabalhos-MFES-2023-2024

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
tpc1
tpc1
 
 
tpc2
tpc2
 
 
tpc3
tpc3
 
 
tpc4
tpc4
 
 
EEUM_logo.png
EEUM_logo.png
 
 
README.md
README.md
 
 

Repository files navigation

Mestrado em Engenharia Informática
Trabalhos de casa de Métodos Formais em Engenharia de Software
2023/2024

Nota: 20 / 20

Keywords

MFES, Métodos Formais em Engenharia de Software, metodos formais em engenharia de software, universidade do minho, uminho, miei, mei, engenharia informatica

About

Repositório dos trabalhos de casa da UC de Métodos Formais em Engenharia de Software (MFES) - Mestrado em Engenharia Informática (MEI/MIEI) - Universidade do Minho (UMinho)

Topics

logic z3 formal-methods alloy mei engenharia-informatica z3-smt-solver mfes why3 miei z3-solver uminho-miei uminho-mei

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages