About
Lead and Maintainer of the DOML Model Checker
Info
Research Fellow at Politecnico di Milano
4:36 AM
Member since January 16, 2023
Breaking change!
Starting 2025 we will change the domain of Gitlab Tecnalia (git.code.tecnalia.com). This change will affect all the elements of the platform (repositories, pipelines,...). We know that this change is critical and we apologize for the impact generated. We will let you know in advance of the final domain that will be chosen as a replacement for the current one.
Lead and Maintainer of the DOML Model Checker