SpecVer:O projekcie: Różnice pomiędzy wersjami
Z Lem
| Linia 1: | Linia 1: | ||
| + | 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]
