1 item tagged with 'model checking'.
Projects: COVID-19 Disease Map, Covid-19 Interferon pathway modelling and analysis
Institutions: Inria Saclay - Île-de-France, University of Évry Val d'Essonne
https://orcid.org/0000-0001-5525-7418Expertise: Computational Systems Biology
Tools: Petri Nets, constraint programming, model checking, Python, ODE Modelling, Prolog