Formális szemantika megadása a P4 programozási nyelvhez
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.
Mentés helye:
| Szerző: | |
|---|---|
| Közreműködő(k): | |
| Formátum: | szakdolgozat |
| Nyelv: | magyar |
| Megjelenés: |
2017-12-15
|
| Tárgyszavak: | |
| Online elérés: | http://hdl.handle.net/10831/37187?sublib=L_042 |
| Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|