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.