Naslov (srp)

Аутоматско генерисање и проверавање услова исправности програма : докторска дисертација

Autor

Vujošević Janičić, Milena M., 1980-

Doprinosi

Tošić, Dušan, 1949-
Kunčuk, Viktor
Marić, Filip, 1978-

Opis (eng)

LAV is a system for statically verifying program assertions and locating bugs such as buffer overflows, pointer errors and division by zero.

Opis (srp)

LAV je систем за аутоматско генерисање и проверавање услова исправности програма ...

Opis (srp)

Računarstvo - Verifikacija softvera / Computer Science - Software Verification Datum odbrane: 17.12.2013.

Jezik

srpski

Datum

2013

Licenca

© All rights reserved

Predmet

OSNO - Opšta sistematizacija naučnih oblasti, Softversko inženjerstvo

Верификација софтвера, аутоматско проналажење грешака у програму, симболичко израчунавање, проверавање ограничених модела

OSNO - Opšta sistematizacija naučnih oblasti, Softversko inženjerstvo

software verification, automated bug finding, symbolic execution,bounded model checking