
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/">
  <dc:title xml:lang="srp">Аутоматско генерисање и проверавање услова исправности програма  : докторска дисертација</dc:title>
  <dc:format>PDF/A (145 listova)</dc:format>
  <dc:format>1748120 bytes</dc:format>
  <dc:rights>All rights reserved</dc:rights>
  <dc:subject xml:lang="eng">OSNO - Opšta sistematizacija naučnih oblasti, Softversko inženjerstvo</dc:subject>
  <dc:subject xml:lang="srp">OSNO - Opšta sistematizacija naučnih oblasti, Softversko inženjerstvo</dc:subject>
  <dc:subject xml:lang="srp">Верификација софтвера, аутоматско проналажење грешака у програму, симболичко израчунавање, проверавање ограничених модела</dc:subject>
  <dc:subject xml:lang="eng">software verification, automated bug finding, symbolic execution,bounded model checking</dc:subject>
  <dc:date>2013</dc:date>
  <dc:language>srp</dc:language>
  <dc:creator>Vujošević Janičić, Milena M., 1980-</dc:creator>
  <dc:type>info:eu-repo/semantics/bachelorThesis</dc:type>
  <dc:identifier>https://phaidrabg.bg.ac.rs/o:7433</dc:identifier>
  <dc:identifier>cobiss:44846863</dc:identifier>
  <dc:identifier>thesis:913</dc:identifier>
  <dc:contributor>Tošić, Dušan, 1949-</dc:contributor>
  <dc:contributor>Kunčuk, Viktor</dc:contributor>
  <dc:contributor>Marić, Filip, 1978-</dc:contributor>
  <dc:description xml:lang="srp">LAV je систем за аутоматско генерисање и проверавање услова исправности програма ...</dc:description>
  <dc:description xml:lang="eng">LAV is a system for statically verifying program assertions and locating
bugs such as buffer overflows, pointer errors and division by zero.</dc:description>
  <dc:description xml:lang="srp">Računarstvo - Verifikacija softvera / Computer Science - Software Verification
Datum odbrane: 17.12.2013.</dc:description>
</oai_dc:dc>