![[HASLab]](http://www.di.uminho.pt/~jfc/images/haslab-logo.jpg){kind=logo}
![[UM]](http://www.di.uminho.pt/~jfc/images/corReitoria50.gif)
![[EEng]](http://www.di.uminho.pt/~jfc/images/eng50.gif)
HASLab's GIP page
Work on applying formal verification tools to the analysis of the safety and usability of medical devices.
- Paolo Masci
- José C. Campos
- Michael D. Harrison
Work on applying formal verification tools to the analysis of the safety and usability of medical devices.