Diplomamunkámban a P4 programozási nyelv szemantikáját és a K keretrendszer verifikációs eszközeit felhasználva programtulajdonságokat specifikáltam és ellenőriztem.
A tétel részletes adatai