Riistvara funktsionaalseks verifitseerimiseks on olemas mitmed erinevad tehnikad, sealhulgas staatilised, dünaamilised ja väidete-põhised lähenemised. Kuigi nii staatilised kui ka dünaamilised meetodid on näidanud häid tulemusi, on väidete-põhised meetodid, mis kombineerivad staatiliste ja dünaamiliste tehnikate eelised, pälvimas üha suuremat tähelepanu. 
Käesoleva doktoritöö eesmärgiks on edendada nii funktsionaalse kui ka turvalisuse verifitseerimise meetodeid. Eesmärgi saavutamiseks on välja pakutud mitmeid uuenduslikke meetodeid ja lahendusi. Funktsionaalse verifitseerimise parendamiseks ja olemasolevate automaatsete väitekaevurite piirangute leevendamiseks tutvustatakse väitekaevurit ART-mine, mis genereerib täpseid väitekomplekte oluliselt kiiremini, kui senised meetodid. ARTmine’i poolt toodetud väited pakuvad ulatuslikku disaini katvust, ületades seniseid väitekaevureid väiksema liiasuse ja vastuolulisusega.
Samuti tutvustab käesolev doktoritöö kahte uut tehnikat, mille eesmärk on parendada disainide turvalisuse verifitseerimist.

Doktoritöö on avaldatud Tehnikaülikooli raamatukogu digikogus

Juhendajad: vanemteadur Tara Ghasempouri ja täisprofessor tenuuris Gert Jervan (Tallinna Tehnikaülikool)

Oponendid:

• professor Dr. Goerschwin Fey (Hamburgi Tehnikaülikool, Saksamaa) 
• professor Dr. Mottaqiallah Taouil (Delfti Tehnikaülikool, Holland