Our Projects

Broadly, our research activities concern the development and application of formal methods for the design and analysis of computerized systems. More specifically, our work targets the verified development of safety- and security-critical systems, advocating a process based on refinement that starts with an abstract,