search

ModelWriter / WP3

A Platform for Automated Analysis of Traceability (WP3)
https://modelwriter.github.io/WP3/
Eclipse Public License 1.0
4 stars 1 forks source link

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

Open ferhaterata opened 7 years ago

ferhaterata commented 7 years ago

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

Depends on #96