Search
Now showing items 1-1 of 1
Title: Programhelyesség- bizonyítás fordítási időben
Author:
Date: 2017
Submitted: 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 ...