feup-mfs

There are 0 repository under feup-mfs topic.

xbreu / formal-methods
Materials from the Formal Methods for Critical Systems course at FEUP.
formal-methods computer-engineering software feup feup-mfs
Language:Alloy 4
xbreu / automotive-system
Development of a formal model for an adaptive exterior light and speed control system.
adaptive-exterior-light-system computer-engineering feup feup-mfs formal-methods refinement software speed-control-system verification
Language:Alloy 0