SpecVer:O projekcie: Różnice pomiędzy wersjami
Z Lem
| Linia 1: | Linia 1: | ||
To jest formuła <math>\alpha \implies K\,\beta </math> | To jest formuła <math>\alpha \implies K\,\beta </math> | ||
| − | + | opisująca poprawność algorytmu K względem warunku poczatkowego <math>\alpha </math> | |
| − | + | i warunku końcowego <math> \beta </math> | |
[[Category:SpecVer]] | [[Category:SpecVer]] | ||
Wersja z 08:38, 3 lut 2013
To jest formuła [math]\alpha \implies K\,\beta [/math] opisująca poprawność algorytmu K względem warunku poczatkowego [math]\alpha [/math] i warunku końcowego [math] \beta [/math]
