Chercheur ou chercheuse

Benoît Ballenghien

Identifiants pérennes

Références de cette unité dans les référentiels publics : elles servent à la recouper avec d’autres sources, et ne changent pas quand le nom change.

Rattachement

Isabelle/HOL

Communicating Sequential Processes

Assistants de preuve

Méthodes formelles (informatique)

Langages de programmation -- Sémantique

Théorème du point fixe

Algèbres de processus

Preuve formelle

3 publications dans HAL depuis 2022.

Provenance des données

Sources : scanR, HAL. Données consolidées le 27/10/2026. Une erreur ? Elle se corrige dans la source d’origine (HAL, RNSR, annuaire) ; voir comment.