Toppfrågor
Tidslinje
Chatt
Perspektiv
Formella metoder
Från Wikipedia, den fria encyklopedin
Remove ads
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.
 |
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. |
Remove ads
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads