Méthodes formelles et Alt-Ergo

[Interview] Sylvain Conchon rejoint OCamlPro

Sylvain Conchon vient de rejoindre OCamlPro en tant que Chief Scientific Officer Méthodes Formelles. Professeur à l’Université Paris-Saclay, il travaille dans le domaine de la démonstration automatique pour la preuve de programmes et le model checking pour systèmes paramétrés. Il est aussi le co-créateur d’Alt-Ergo. Recherche et industrie Sylvain, tu fréquentes de longue date le [Interview] Sylvain Conchon rejoint OCamlPro

Réunion annuelle du Club des utilisateurs d’Alt-Ergo

La deuxième réunion annuelle du Club des utilisateurs d’Alt-Ergo a eu lieu à la mi-février ! Notre réunion annuelle est l’endroit idéal pour passer en revue les besoins de chaque partenaire concernant Alt-Ergo. Cette année, nous avons eu le plaisir de recevoir nos partenaires pour discuter de la feuille de route concernant les développements et Réunion annuelle du Club des utilisateurs d’Alt-Ergo

Résultats de la SMT-Comp 2019 pour Alt-Ergo

Les résultats de la compétition SMT-COMP 2019 ont été publiés au whorkshop  SMT de la 22e conférence SAT. Nous étions fiers d’y participer pour la deuxième année consécutive, surtout depuis qu’Alt-Ergo prend en charge le standard SMT-LIB 2. Alt-Ergo est un SAT solveur open-source maintenu et distribué par OCamlPro, et financé entre autres grâce à Résultats de la SMT-Comp 2019 pour Alt-Ergo