prikaz prve stranice dokumenta Formalni dokazi u programiranju
  Download
PDF 971.45 KB
undergraduate thesis
Formalni dokazi u programiranju
Pula: University of Pula, 2016. urn:nbn:hr:137:645754
Šarić, Kristijan
University of Pula
Faculty of Informatics in Pula

Institutional repository: Digital Repository Juraj Dobrila University of Pula

Cite this document

Šarić, K. (2016). Formalni dokazi u programiranju (Undergraduate thesis). Pula: University of Pula. Retrieved from https://urn.nsk.hr/urn:nbn:hr:137:645754

Šarić, Kristijan. "Formalni dokazi u programiranju." Undergraduate thesis, University of Pula, 2016. https://urn.nsk.hr/urn:nbn:hr:137:645754

Šarić, Kristijan. "Formalni dokazi u programiranju." Undergraduate thesis, University of Pula, 2016. https://urn.nsk.hr/urn:nbn:hr:137:645754

Šarić, K. (2016). 'Formalni dokazi u programiranju', Undergraduate thesis, University of Pula, accessed 09 November 2024, https://urn.nsk.hr/urn:nbn:hr:137:645754

Šarić K. Formalni dokazi u programiranju [Undergraduate thesis]. Pula: University of Pula; 2016 [cited 2024 November 09] Available at: https://urn.nsk.hr/urn:nbn:hr:137:645754

K. Šarić, "Formalni dokazi u programiranju", Undergraduate thesis, University of Pula, Pula, 2016. Available at: https://urn.nsk.hr/urn:nbn:hr:137:645754

Metadata
TitleFormalni dokazi u programiranju
Title (english)Formaln proofs in programming
AuthorKristijan Šarić
MentorKrunoslav Puljić (mentor)
Committee memberVanja Bevanda (član povjerenstva)
Committee memberKrunoslav Puljić (član povjerenstva)
Committee memberGoran Matošević (član povjerenstva)
GranterUniversity of Pula
(Faculty of Informatics in Pula)
Pula
Defense date and country2016-01-18, Croatia
Scientific / art field,
discipline and subdiscipline		SOCIAL SCIENCES
Information and Communication Sciences
Organization and Informatics
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.
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.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:137:645754
Study programmeTitle: Informatics
Study programme type: university
Study level: undergraduate
Academic / professional title: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike (sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike)
Type of resourceText
File originBorn digital
Access conditionsOpen access
Terms of useLicence In copyright icon
Created on2016-05-18 12:26:35