Advance your academic career, collaborate globally, and expand your network— join now !

Jan Friso Groote

Prof. Jan Friso Groote

Department of Mathematics and Computer Science, Eindhoven University of Technolo...

Share Link

Share

Information

Research Keywords & Expertise

Formal Methods
Model Checking
Labelled transition sy...
SAT solving
Behavioural equivalenc...

Fingerprints

15%
Model Checking
9%
Labelled transition systems
5%
Formal Methods
5%
Behavioural equivalences
done Well done!
You've completed 100% of your profile.
A high-quality profile increases your visibility and attracts more views. Enjoy your journey!