Formell verifiering

Formell verifiering innefattar att bevisa eller motbevisa korrektheten för avsedda algoritmer som ligger till grund för ett system med avseende på en viss formell specifikation eller egenskap, med hjälp av formella matematiska metoder.[1]

Referenser

  1. ^ Sanghavi, Alok (May 21, 2010). ”What is formal verification?”. EE Times Asia.