Model finding

Paper accepted at ATVA

July 1, 2017

Our paper on exploiting partial knowledge for efficient model finding has just been accepted at the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA).

TRUST recommended for funding

August 30, 2015

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

Paper accepted at FASE

December 22, 2014

Our paper on scenario exploration has been accepted at the 18th International Conference on Fundamental Approaches to Software Engineering (FASE).

Paper accepted at FASE

December 18, 2013

Our paper on target-oriented model finding has been accepted at the 17th International Conference on Fundamental Approaches to Software Engineering (FASE).