Academic Journals Database
Disseminating quality controlled scientific knowledge

Formal Methods in Industry

ADD TO MY LIST
 
Author(s): Alexei Serna A.

Journal: Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software RACCIS
ISSN 2248-7441

Volume: 2;
Issue: 2;
Start page: 44;
Date: 2012;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: Formal methods | formalization | Verification | notation

ABSTRACT
The application of formal methods in industry has progressed extensively over the past decade and the results are promising. But despite these achievements and it have been documented in numerous studies, it is still very common the skepticism about its usefulness and applicability. The goal of this paper is to show that its evolution over the past decade exceeds all previous processes and each time they do a better job to satisfy industrial needs. This is achieved by the description of some experiments and the result of various applications in industry and through an analyzing of the needs of companies that must be satisfy the research community in this field.
Affiliate Program      Why do you need a reservation system?