Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
Formal Modelling of Environment Restrictions from Natural-Language Requirements
Tainã Santos
,
Gustavo Carvalho
,
Augusto Sampaio
January 2018
Cite
DOI
URL
Type
Conference paper
Publication
Formal Methods: Foundations and Applications
Related
Analytical Comparison of Refinement Checkers
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
Test Case Generation from Natural Language Requirements Based on SCR Specifications
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
Cite
×