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

Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions (Java) #97

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

Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions (Java) #97

ferhaterata opened this issue May 26, 2017 · 0 comments
Assignees
@ferhaterata @iremfidandan
Labels
Alloy ready SMT Translation

Comments

@ferhaterata
Copy link
Member

ferhaterata commented May 26, 2017 •
edited

Develop a translation procedure in Java which accepts a well-formed Alloy Signatures and Relation Declarations and produces SMTLIB Axioms.

Depends on #96
@ferhaterata ferhaterata changed the title Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions Axiomatization of Alloy Type System in Equality Logic with Uninterpreted Functions May 27, 2017
@ferhaterata ferhaterata changed the title Axiomatization of Alloy Type System in Equality Logic with Uninterpreted Functions Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions May 27, 2017
@ferhaterata ferhaterata changed the title Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions (Java) May 27, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ferhaterata ferhaterata

@iremfidandan iremfidandan

Labels
Alloy ready SMT Translation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@ferhaterata @harunuyar @iremfidandan