Please use this identifier to cite or link to this item:

TitleSupporting requirements formulation in software formal verification
Author(s)Campos, J. Creissac
Machado, José Mendes
Issue date2011
PublisherInstituto Nacional de Pesquisas Espaciais (INPE)
Abstract(s)Formal verification tools such as model checkers have reached a stage were their applicability in the development process of dependable and safety critical systems has become viable. While the formal verification step in tools such as model checkers is fully automated, writing appropriate models and properties is a skillful process. In particular, a correct understanding of the logics used to express properties is needed to guarantee that properties correctly encode the original requirements. In this paper we illustrate how a patterns-based tool can help in simplifying the process of generating logical formulae from informally expressed requirements.
TypeConference paper
AccessOpen access
Appears in Collections:HASLab - Artigos em atas de conferências internacionais (texto completo)
DI/CCTC - Artigos (papers)

Files in This Item:
File Description SizeFormat 
7 - 81412.pdfArtigo187,5 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID