Difference between revisions 4747318 and 5916013 on ltwiki

next diff >
Formalus verifikavimas
{{tvarkyti}}
{{gcheck}}
{{šŠaltiniai|nuo=2009 m. gruodžio}}

'''Formalusis verifikavimas '''- yra veiksmas patvirtinti ar paneigti numatomų algoritmų teisingumą, pabrėžiant sistemą ir atsižvelgiant į tam tikrą formalią ypatybių specifikaciją, naudojant formaliuosius matematikos metodus. 

== Naudojimas ==

(contracted; show full)# ^ http://www2.computer.org/portal/web/csdl/doi/10.1109/LICS.2003.1210044
# ^ http://portal.acm.org/citation.cfm?id=800667
# ^ Formal Verification in Industry
# ^ "A new OS has been proven to be correct using mathematical proofs. The cost: astronomical." by Jack Ganssle

[[Kategorija:Formalūs metodai]]

[[en:Formal verification]]