Difference between revisions 6023932 and 6073691 on ltwiki

< previous diff
Formalus verifikavimas
{{Tvarkyti|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. 

(contracted; show full)

2009 m. tik dvi operacinės sistemos yra formaliai patikrintos: ''Nicta'' Saugumo Įtvirtintas L4 mikrobranduolys ir Green Hills programinės įrangos integralumas (operacinė sistema)

== Nuorodos ==

# ^ http://www2.computer.org/portal/web/csdl/doi/10.1109/LICS.2003.1210044
{{Neveikianti nuoroda|date=sausio 2021 |bot=InternetArchiveBot |fix-attempted=yes }}
# ^ 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]]