Explore Topics Trending Collections Events GitHub Sponsors

feup-mfes

Here are 3 public repositories matching this topic...

Language: All

Some useful Alloy tips and tricks to get around in MFES

formal-methods alloy feup feup-mfes alloy4fun

Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde

vdm formal-methods vdmpp feup-mfes

Formal modelling of GitHub in VDM++ ; in collaboration with @AndreFCruz and @joao-conde

feup vdmpp overture mfes feup-mfes

Add a description, image, and links to the feup-mfes topic page so that developers can more easily learn about it.

To associate your repository with the feup-mfes topic, visit your repo's landing page and select "manage topics."