Search
Now showing items 1-3 of 3
Title: P4 programok helyességvizsgálata
Author:
Date: 2017-12-15
Submitted: 2018-02-15
(2017-12-15)
A P4 nyelv viszgálata egy modellellenőrző segítségével
Title: NS-3 szimulátor kiegészítése P4 programozható switch támogatással
Author:
Date: 2018-05
Submitted: 2018-07-23
(2018-05)
NS-3 kiegészítése egy új modullal, mely interfészt teremt P4 nyelven íródott (majd ELTE P4 fordítóprogrammal C nyelvre lefordított) switch-csek és a szimulátor között.
Title: Formális szemantika megadása a P4 programozási nyelvhez
Author:
Date: 2017-12-15
Submitted: 2018-02-15
(2017-12-15)
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.