אנגלית ⇄ גרמנית פינית רוסית שוודית +

program proving
כלל.	ohjelman oikeellisuuden todistaminen; ohjelman toimivuuden todistaminen