Formal Methods in Industry

Formal Methods in Industry

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...

Full description

Bibliographic Details
Main Author: Alexei Serna A.
Format: Article
Language:Spanish
Published: Instituto Antioqueño de Investigación (IAI) 2012-12-01
Series:Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)
Subjects:
Formal methods
formalization
Verification
notation
Online Access:http://fundacioniai.org/raccis/v2n2/n3a7.pdf
id doaj-18c1b1b28535482d86487136fc9af623
record_format Article
spelling doaj-18c1b1b28535482d86487136fc9af6232020-11-24T22:24:21ZspaInstituto Antioqueño de Investigación (IAI)Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)2248-74412012-12-01224451Formal Methods in IndustryAlexei Serna A.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.http://fundacioniai.org/raccis/v2n2/n3a7.pdfFormal methodsformalizationVerificationnotation
collection DOAJ
language Spanish
format Article
sources DOAJ
author Alexei Serna A.
spellingShingle Alexei Serna A.
Formal Methods in Industry
Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)
Formal methods
formalization
Verification
notation
author_facet Alexei Serna A.
author_sort Alexei Serna A.
title Formal Methods in Industry
title_short Formal Methods in Industry
title_full Formal Methods in Industry
title_fullStr Formal Methods in Industry
title_full_unstemmed Formal Methods in Industry
title_sort formal methods in industry
publisher Instituto Antioqueño de Investigación (IAI)
series Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)
issn 2248-7441
publishDate 2012-12-01
description 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.
topic Formal methods
formalization
Verification
notation
url http://fundacioniai.org/raccis/v2n2/n3a7.pdf
work_keys_str_mv AT alexeisernaa formalmethodsinindustry
_version_ 1725761782463594496

Similar Items