Formella metoder använder matematiska modeller för analys och verifiering under någon del av programmets livscykel. Vi beskriver state of the art i den industriella användningen av formella metoder, med fokus på deras ökande användning i de tidigare stadierna av specifikation och design. Vi gör detta genom att rapportera om en ny undersökning av industriell användning och jämföra situationen 2009 med de mest betydande undersökningar som gjorts under de senaste 20 åren. Vi beskriver några av höjdpunkterna i vår enkät genom att presentera en serie industriella projekt, och vi drar några observationer från dessa undersökningar och rekord av erfarenhet. Utifrån detta diskuterar vi frågorna kring den industriella användningen av formella metoder. Slutligen ser vi framåt och beskriver utvecklingen av en Verified Software Repository, en del av det världsomspännande Verified Software Initiative. Vi introducerar de inledande projekt som används för att fylla arkivet, och beskriva de utmaningar de tar itu med.
En översyn av formella metoder för industriprojekt finns i REF ).
Formal methods: Practice and experience
{'venue': 'CSUR', 'journal': None, 'mag_field_of_study': ['Computer Science']}