Team & Contact
The team doing research on FTS model checking consists of the following persons. Most are members of the PReCISE research centre at the Faculty of Computer Science at the University of Namur (FUNDP) in Namur, Belgium:
- Maxime Cordy
- Andreas Classen
- Patrick Heymans
- Pierre-Yves Schobbens
- Axel Legay (at Inria Rennes and ULg)
- Jean-François Raskin (at ULB)
Contact and feedback
Do not hesitate to contact Maxime Cordy at mcr@info.fundp.ac.be in case of questions or other requests.