Orðskýring
á ð é í ó ú ý þ æ ö (* = hvað sem er, ? = stakur stafur) (Nánar)
réttleikasönnun1 kv.
Það að sanna stærðfræðilega að merking forrits sé í samræmi við hönnunarlýsingu þess.
Enska: correctness proving
réttleikasönnun2 kv.
Stærðfræðileg sönnun þess að merking forrits sé í samræmi við hönnunarlýsingu þess.
Þetta er útkoman úr réttleikasönnun1.
Enska: proof of correctness