Аутоматско генерисање и проверавање услова исправности програма : докторска дисертација
Vujošević Janičić, Milena M., 1980-
Tošić, Dušan, 1949-
Kunčuk, Viktor
Marić, Filip, 1978-
LAV is a system for statically verifying program assertions and locating bugs such as buffer overflows, pointer errors and division by zero.
LAV je систем за аутоматско генерисање и проверавање услова исправности програма ...
Računarstvo - Verifikacija softvera / Computer Science - Software Verification Datum odbrane: 17.12.2013.
srpski
2013
© All rights reserved
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