Naslov
Specifikacija i verifikacija programa Floyd-Hoareovom logikom
(Software specification and verification by Floyd-Hoare logic)

Autori
Tibor Pazman

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, preddiplomski

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
11.07

Godina
2008

Stranica
52

Mentor
Bogunović, Nikola

Neposredni voditelj
Bogunović, Nikola

Ključne riječi
formalne metode; verifikacija programa; Hoare-Floyd logika
(formal methods; program verification; Hoare-Floyd logika)

Sažetak
Definiran je i specificiran proizvoljni programski jezik. Formalnom verifikacijom dokazana je ili opovrgnuta specifikacija t.j. dokazana je ili opovrgnuta pretpostavka o izvođenju programa. Stanja programa prije i nakon izvođenja definiraju se stanjima programskih varijabli. Dokazivanje je izvedeno uporabom aksioma i pravila Floyd-Hoareove logike.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA