Difference between revisions 5987743 and 6023932 on ltwiki

< previous diff
next diff >
Formalus verifikavimas
{{tTvarkyti|nuo=2009 m. gruodžio|netvarkingas_nuo=2009 m. gruodžio}}
⏎
⏎
{{gcheck}}
{{Šaltiniai|nuo=2009 m. gruodžio|neturi_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]]