Skip to content

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:

Contact and feedback

Do not hesitate to contact Maxime Cordy at in case of questions or other requests.