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

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 19 April 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 April 19] 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

Please login to the repository to save this object to your list.
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
RepositoryDigital Repository Juraj Dobrila University of Pula
Created on2016-05-18 12:26:35

(©) Nacionalna i sveučilišna knjižnica u Zagrebu 2015. Sva prava pridržana. | Hrvatske bratske zajednice 4 p.p. 550, 10000 Zagreb, Hrvatska Tel. ++ 385 1 616-4040
OIB: 84838770814 | IBAN: HR66 2340 0091 1000 1008 1, Porezni broj (PDV identifikacijski broj) - VAT Number: HR84838770814
Prijava u repozitorij