Keresés
1 találatból megjelenítve: 1-1
Cím: Programhelyesség-bizonyítás fordítási időben
Szerző:
Dátum: 2017
Feltöltve: 2019-02-08
(2017)
A dolgozat első tézise egy formális programmodellt vezet be haladási és biztonsági kritériumok megfogalmazására alkalmas temporális logikai operátorokkal. A modell levezetési szabályai bizonyítással együtt kerülnek ...