Formalūs metodai
Formalūs metodai – logika bei matematika besiremiantys metodai informatikoje ir programų inžinerijoje skirti programinės ir aparatūrinės įrangos specifikavimui, modeliavimui, kūrimui ir verifikavimui. Tikimasi, kad panašiai, kaip ir kitose inžinerijos srityse, formalūs metodai leis kurti patikimesnes ir atsparesnes klaidoms sistemas. Tačiau kadangi jų taikymas yra brangus, tai jie taikomi kuriant padidinto patikimumo sistemas. Formalūs metodai taiko įvairius teorinės informatikos įrankius, pvz., logiką, formalias kalbas, automatų teoriją, programų semantiką, taip pat tipų teoriją, algebrinius duomenų tipus siekdama išspręsti programinės ir aparatūrinės įrangos specifikavimo ir verifikavimo uždavinius.