A P4 nyelv programtulajdonságainak axióma alapú verifikációja
A P4 nyelv egy új, szakterület specifikus programozási nyelv. A programtulajdonságok bizonyításának egy módja a nyelv operációs szemantikáján alapuló viszgálat. Ez azonban alacsony szintű megoldás, hisz sok esetben ez nagyon költséges levezetéseket eredményezhet. A dolgozat célja egy magasabb szintű...
Mentés helye:
| Szerző: | |
|---|---|
| Közreműködő(k): | |
| Formátum: | szakdolgozat |
| Nyelv: | magyar |
| Megjelenés: |
2018-05-31
|
| Tárgyszavak: | |
| Online elérés: | http://hdl.handle.net/10831/38922?sublib=L_042 |
| Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|