Specification language

Electrum video and tutorial

June 5, 2018

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

New MSc's

December 10, 2016

Eduardo Pessoa and José Pereira have successfully defended their MSc theses on trustworthy software design.

TRUST Kickoff

September 19, 2016

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

Paper accepted at FSE

May 28, 2016

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

August 30, 2015

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