By Sergio G
•Apr 12, 2018
Other task... completed!!
By Nafees M
•May 23, 2018
Thanks Prof
By Emmanuel D
•Dec 5, 2017
I eventually finished the 4 courses about system validation! I was globally very happy to follow these courses. I had already some knownledge about model checking and it was a very good way to get deeper understanding of the concepts and the theories. I think it will help me to get into other mathematical domains (formal methods, logic, ...).