Orðskýring
á ð é í ó ú ý þ æ ö (* = hvað sem er, ? = stakur stafur) (Nánar)
alréttleiki kk.
Réttleikasönnun1 sem sýnir að þær fastyrðingar sem forrit skilar leiði rökrétt af þeim fastyrðingum sem forritið tekur við og af úrvinnslu í forritinu og að forritið ljúki vinnslu fyrir öll tiltekin ílagsskilyrði.
Enska: total correctness