Formella metoder

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2017-05)
Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Formella metoder är ett område inom datavetenskapen som handlar om att modellera och i form av matematisk terminologi specificera och verifiera olika egenskaper hos datorsystem, vilket omfattar såväl hårdvaru- som programvarusystem.

Media som används på denna webbplats

Question book-4.svg
Författare/Upphovsman: Tkgd2007, Licens: CC BY-SA 3.0
A new incarnation of Image:Question_book-3.svg, which was uploaded by user AzaToth. This file is available on the English version of Wikipedia under the filename en:Image:Question book-new.svg