Title
Аутоматско генерисање и проверавање услова исправности програма
Creator
Vujošević Janičić, Milena M., 1980-
Copyright date
2013
Object Links
Select license
Autorstvo 3.0 Srbija (CC BY 3.0)
License description
Dozvoljavate umnožavanje, distribuciju i javno saopštavanje dela, i prerade, ako se navede ime autora na način odredjen od strane autora ili davaoca licence, čak i u komercijalne svrhe. Ovo je najslobodnija od svih licenci. Osnovni opis Licence: http://creativecommons.org/licenses/by/3.0/rs/deed.sr_LATN Sadržaj ugovora u celini: http://creativecommons.org/licenses/by/3.0/rs/legalcode.sr-Latn
Language
Serbian
Cobiss-ID
Theses Type
Doktorska disertacija
Other responsibilities
mentor
Tošić, Dušan, 1949-
član komisije
Kunčuk, Viktor
član komisije
Marić, Filip, 1978-
Academic Expertise
Prirodno-matematičke nauke
University
Univerzitet u Beogradu
Faculty
Matematički fakultet
Alternative title
Automated generation and checking of verification conditions
Publisher
Београд : [М. М. Вујошевић Јаничић],
Format
PDF/A (145 listova)
description
Računarstvo - Verifikacija softvera / Computer Science - Software Verification
Datum odbrane: 17.12.2013.
Abstract (sr)
LAV je систем за аутоматско генерисање и проверавање услова исправности програма ...
Abstract (en)
LAV is a system for statically verifying program assertions and locating
bugs such as buffer overflows, pointer errors and division by zero.
Authors Key words
Верификација софтвера, аутоматско проналажење грешака у програму, симболичко израчунавање, проверавање ограничених модела
Authors Key words
software verification, automated bug finding, symbolic execution,
bounded model checking
Classification
004.415.5(043.3)
Type
Tekst
Abstract (sr)
LAV je систем за аутоматско генерисање и проверавање услова исправности програма ...
“Data exchange” service offers individual users metadata transfer in several different formats. Citation formats are offered for transfers in texts as for the transfer into internet pages. Citation formats include permanent links that guarantee access to cited sources. For use are commonly structured metadata schemes : Dublin Core xml and ETUB-MS xml, local adaptation of international ETD-MS scheme intended for use in academic documents.