Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
Analytical Comparison of Refinement Checkers
Gustavo Carvalho
,
Tarciana Dias
,
Alexandre Mota
,
Augusto Sampaio
January 2011
Cite
Type
Conference paper
Publication
Proceedings of the 14th Brazilian Symposium on Formal Methods (Short paper)
Related
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
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
Model Checking Requirements
Cite
×