Model checking requirements written in a controlled natural language

Model checking requirements written in a controlled natural language

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-07-12T13:26:23Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) SergioBarzaDissertation.pdf: 2147656 bytes, checksum: 5c75fe2262be1d224538c1ad6a575ebb (MD5) === Made availabl...

Full description

Bibliographic Details
Main Author:	BARZA, Sérgio
Other Authors:	http://lattes.cnpq.br/0005349558315095
Language:	English
Published:	Universidade Federal de Pernambuco 2017
Subjects:	Linguagem Natural Controlada Case Frames Model Checker Veriﬁcação de Modelos NuSMV Lógica Temporal CTL
Online Access:	https://repositorio.ufpe.br/handle/123456789/19519

Similar Items

Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
by: Mohammad B. YAZDI, et al.
Published: (2009-01-01)

Oeritte: User-Friendly Counterexample Explanation for Model Checking
by: Polina Ovsiannikova, et al.
Published: (2021-01-01)

Modelagem e veriﬁcação automática de um protocolo de controle de fluxo adaptativo usando traços de execução.
by: MOREIRA, Anne Lorayne Gerônimo Silva Augusto.
Published: (2016)

Formal Verification of Hardware Peripheral with Security Property
by: Yao Håkansson, Jonathan, et al.
Published: (2017)

Représentations formelles efficaces pour l'aide à la certification de contrôleurs logiques industriels
by: Gourcuff, Vincent
Published: (2007)

ScaleSem : model checking et web sémantique
by: Gueffaz, Mahdi
Published: (2012)

ScaleSem : model checking et web sémantique
by: Gueffaz, Mahdi
Published: (2012)

Design of a Test Generation Methodology for ARTIS using Model-Checking with a Generic Modelling Approach
by: Vernekar, Ganesh Kamalakar
Published: (2016)

BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
by: Januário, Francisco de Assis Pereira
Published: (2015)

Revisão de crenças em ACTL usando verificação de modelos limitada
by: Bruno Vercelino da Hora
Published: (2017)

Revisão de crenças em ACTL usando verificação de modelos limitada
by: Hora, Bruno Vercelino da
Published: (2017)

En optimierande kompilator för SMV till CLP(B)
by: Asplund, Mikael
Published: (2005)

Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
by: Avelar, Andréia Borges
Published: (2011)

A Social Multi-Agent Cooperation System Based on Planning and Distributed Task Allocation
by: Atef Gharbi
Published: (2020-05-01)

Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
by: Vieira, Thiago Coelho
Published: (2015)

NAT2TEST: generating test cases from natural language requirements based on CSP
by: CARVALHO, Gustavo Henrique Porto de
Published: (2016)

Detection of Soybean mosaic virus by Reverse Transcription Loop-mediated Isothermal Amplification
by: Yeong-Hoon Lee, et al.
Published: (2015-12-01)

[en] AN APPROACH FOR DEALING WITH INCONSISTENCIES IN DATA MASHUPS
by: EVELINE RUSSO SACRAMENTO FERREIRA
Published: (2016)

NS34A resistance-associated substitutions in chronic hepatitis C in Upper Egypt and regression of liver fibrosis after direct-acting antiviral therapy
by: Nahed A. Makhlouf, et al.
Published: (2021-02-01)

INCIDENCE OF SOYBEAN MOSAIC DISEASE IN EAST JAVA PROVINCE
by: Wuye Ria Andayani, et al.
Published: (2011-02-01)

THE GRAMATIZATION HOW PROCESS OF THE CONSERVATION TO LANGUAGE
by: Albeiro Trujillo
Published: (2011-05-01)

Automated Analysis of Unified Modeling Language (UML) Specifications
by: Tanuan, Meyer C.
Published: (2006)

Automated Analysis of Unified Modeling Language (UML) Specifications
by: Tanuan, Meyer C.
Published: (2006)

The Development of Spell Checker Android Application to Improve Students’ Pronunciation of English Education Department, IAIN Jember
by: Sari Dewi Noviyanti
Published: (2020-12-01)

Bobbio and the language of law
by: Fernando Pavan Baptista
Published: (2004-12-01)

Geração de objetivos de teste de sistemas reativos baseada na Técnica de Verificação de Modelos CTL.
by: SILVA, Daniel Aguiar da.
Published: (2006)

Revisão de modelos CTL
by: Oliveira, Paulo de Tarso Guerra
Published: (2010)

Revisão de modelos CTL
by: Paulo de Tarso Guerra Oliveira
Published: (2010)

Wittgenstein: Universalismo, Lógica, Gramática e Linguagem
by: Alejandro Tomasini Bassols
Published: (2017-09-01)

Um modelo algébrico para a lógica do muito /
by: Vaine, Camila Augusta.
Published: (2013)

Um modelo algébrico para a lógica do muito
by: Vaine, Camila Augusta [UNESP]
Published: (2014)

Multiplikasi, Induksi Planlet dan Seleksi Tembakau Hasil Transformasi Gen Coat Protein SMV Secara Kultur in Vitro
by: N.A. FITRIYAH, et al.
Published: (2004-11-01)

Identificación de enfermedades virósicas transmitidas por semillas de poroto (Vigna unguiculata (L.) Walp.)
by: Magalí Lidia Delgado Godoy, et al.
Published: (2014-12-01)

Basic Laws of Object Modeling
by: Ghevi, Rohit
Published: (2014)

Model-based Testing on Generated C Code
by: Stratis, Athanasios
Published: (2015)

Checkers game app
by: Sharan, Smita
Published: (2016)

O dito originário da linguagem
by: Armando Edson Garcia
Published: (2001-11-01)

Model checking aplicado a software embarcado crítico do satélite universitário ITASAT
by: Waldo Acioli Falcão de Alencar
Published: (2013)

Long-Term Follow-Up of Resistance-Associated Substitutions in Hepatitis C Virus in Patients in Which Direct Acting Antiviral-Based Therapy Failed
by: Kanako Yoshida, et al.
Published: (2017-05-01)

Interactions of soybean Rsv genes and Soybean mosaic virus
by: Fayad, Amer C.
Published: (2011)