See Photo report
20210159_0003
© Christian MOREL / IRIF / CNRS Photothèque

Discussion autour d’une technique issue de la théorie des automates, pour la vérification de programme

Reference

20210159_0003

Production year

2021

Max. size

48.77 x 32.51 cm / 300 dpi

Caption

Discussion autour d’une technique issue de la théorie des automates pour la vérification de programmes informatiques. La figure sur l'écran d'ordinateur décrit le principe général d'un algorithme. Partant d'un programme informatique écrit dans un langage autorisant de la récursion d'ordre supérieur (un paradigme présent dans tous les langages de programmation moderne) et d'une spécification que le programme doit vérifier, cet algorithme construit un nouveau programme informatique qui raffine le premier, tout en vérifiant (si cela est possible) la spécification.

CNRS Institute(s)

Regional office(s)

Scientific topics

CNRS Images,

Our work is guided by the way scientists question the world around them and we translate their research into images to help people to understand the world better and to awaken their curiosity and wonderment.