Software Design Lab

The mission of the SDlab is to extend the boundaries of automation in the modeling, analysis and design of software systems, thereby increasing software dependability. Towards this end, we are interested in both theoretical and practical aspects of automating the development of dependable software systems.