Research

The Software Technologies Group's research encompasses formal techniques in software specification, analysis and verification:

• Automatic Verification and Synthesis for Asynchronous Systems of Components
• Heterogeneous Software Specification
• Identifying and Analyzing Pointer-based Dynamic Data Structures

For more details on these research topics and the most up-to-date results, please consult the following external sites:

• Learning Data Structure Behaviour from Executions of Pointer Programs
• Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic