Dictionnaire de l'informatique
preuve de programme ◊ program proving ◊ amprouiñ goulev
Kalvezder a zo anezhañ imbourc'hiñ ar perzhioù jedoniel a-zalc'h ouzh an argemmennoù danzeet gant ur goulev war-benn dezren ent diasavel (eleze kuit a erounit) ha reizh eo pe get ar goulev.