#
mfes
Here are 7 public repositories matching this topic...
Formal modelling of GitHub in VDM++ ; in collaboration with @AndreFCruz and @joao-conde
-
Updated
Jan 10, 2019 - Java
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)
logic z3 formal-methods alloy mei engenharia-informatica z3-smt-solver mfes why3 miei z3-solver uminho-miei uminho-mei
-
Updated
Jan 13, 2024 - Jupyter Notebook
Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods
-
Updated
Jan 10, 2019 - TeX
Improve this page
Add a description, image, and links to the mfes topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mfes topic, visit your repo's landing page and select "manage topics."