-
Proving termination by policy iteration
International audience -
The Size-Change Termination Principle for Constructor Based Languages
24 pages + 6 pages d'appendice -
Relational Verification of Programs with Integer Data
Tato pr´ace pˇredstavuje nov´e metody pro verifikaci program°u pracuj´ıc´ıch s neomezen´ymiceloˇc´ıslen´ymi promˇenn´ymi, konkr´etnˇe metody pro anal´yzu...
