Site en français
GANTY Pierre


Verification and formal methods

The research and teaching activities of the ''formal methods and verification group'' deal with rigourous methods that allow to design reliable computer systems. These methods are usually applied in the context of critical systems, such as embedded systems in transportation (trains, planes, cars), plants control systems, and so forth. 


This person isn't currently part of a projet.