An Alloy framework example that provides synthesis capabilities to mechanical and software designs.
This project was created for the Master's Report, available at here or at UT Austin's main library page here.
Future developments will focus on the development of the frameworks and formal proofs to assist in synthesis.