Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Compare KodKod Results of Requirement Traceability Theory using Requirement Traceability Data-set with Z3 and CVC4 Results #98

Open
ferhaterata opened this issue May 26, 2017 · 0 comments
Open

Compare KodKod Results of Requirement Traceability Theory using Requirement Traceability Data-set with Z3 and CVC4 Results #98

ferhaterata opened this issue May 26, 2017 · 0 comments
Assignees
@harunuyar
Labels
completed Evaluation SMT

Comments

@ferhaterata
Copy link
Member

ferhaterata commented May 26, 2017 •
edited

This task depends on #95
@ferhaterata ferhaterata changed the title Compare KodKod Results using Requirement Data Set with Z3 and CVC4 Results Compare KodKod Results using Requirement Traceability Data Set with Z3 and CVC4 Results May 26, 2017
@ferhaterata ferhaterata changed the title Compare KodKod Results using Requirement Traceability Data Set with Z3 and CVC4 Results Compare KodKod Results of Requirement Traceability Theory using Requirement Traceability Data Set with Z3 and CVC4 Results May 26, 2017
@ferhaterata ferhaterata changed the title Compare KodKod Results of Requirement Traceability Theory using Requirement Traceability Data Set with Z3 and CVC4 Results Compare KodKod Results of Requirement Traceability Theory using Requirement Traceability Data-set with Z3 and CVC4 Results May 26, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@harunuyar harunuyar

Labels
completed Evaluation SMT
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ferhaterata @harunuyar