Laboratoire Méthodes Formelles (LMF)
… behavior change Philippe Dague 21/03/2024 Journal of Theoretical Biology Cerise: Program verification on a capability … Son ambition est d’éclairer le « monde numérique » grâce à la logique mathématique en utilisant les méthodes formelles comme outil d’analyse, de modélisation et de raisonnement pour les programmes …Article publié le: