Showing results in 'Announcements'. Show all posts

Electrum video and tutorial

If you're interested in getting started with Electrum, checkout this introductory video and this step-by-step tutorial.

Workshop on the Future of Alloy

The TRUST team has presented its work at the Workshop on the Future of Alloy.

TRUST Kickoff

The TRUST project has just kicked off with a joint workshop with the DALI project.

Paper accepted at FSE

Our paper on a temporal extension to the Alloy language has been accepted at the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE).

TRUST recommended for funding

Our project on trustworthy software design has been recommended for funding.