undergraduate thesis
Formaln proofs in programming

Kristijan Šarić (2016)
University of Pula
Department of Information and Communication Technologies
Metadata
TitleFormalni dokazi u programiranju
AuthorKristijan Šarić
Mentor(s)Krunoslav Puljić (thesis advisor)
Abstract
Programiranje u moderno doba znači programiranje sa velikom količinom kompleksnosti. Velika kompleksnost znači veliku mogućnost greške. Programiranje u moderno doba znači veliku mogućnost greške. U ovom radu navodimo slučajeve u kojima bi se trebali koristiti formalni dokazi, odnosno verifikacija napisanog programa, kako bi program mogao raditi bez greške. Time se postiže velika sigurnost u radu kritičnih dijelova sustava i samim time, sigurnost za sve koji se takvom sustavu izlažu.
Keywordsprogramming errors formal methods verification
Parallel title (English)Formaln proofs in programming
Committee MembersVanja Bevanda (committee member)
Krunoslav Puljić (committee member)
Goran Matošević (committee member)
GranterUniversity of Pula
Lower level organizational unitsDepartment of Information and Communication Technologies
PlacePula
StateCroatia
Scientific field, discipline, subdisciplineSOCIAL SCIENCES
Information and Communication Sciences
Organization and Informatics
Study programme typeuniversity
Study levelundergraduate
Study programmeInformatics
Academic title abbreviationuniv.bacc inf.
Genreundergraduate thesis
Language Croatian
Defense date2016-01-18
Parallel abstract (English)
Programming in the modern era means programming with a large amount of complexity. Large amount of complexity means a significant possibility of error. Programming in the modern era means a significant possibility of error. In this paper we present the cases when the use of formal methods, and verification of the written program, so the program could operate without failure should be used. This achieves a high degree of certainty in the operation of the critical parts of the system and therefore, the safety of all who are exposed to a such system.
Parallel keywords (Croatian)programiranje greške formalni dokazi verifikacija
Resource typetext
Access conditionOpen access
Terms of usehttp://rightsstatements.org/vocab/InC/1.0/
URN:NBNhttps://urn.nsk.hr/urn:nbn:hr:137:645754
CommitterBarbara Dušan