Skip to the content.

Algorithmic Verification of String-Manipulating Programs (AV-SMP)

This is the page for the currently active project AV-SMP supported by ERC Starting Grant. The purpose of the project is to study foundational issues concerning string constraint solving, and their applications to verification of string-manipulating programs. This project was hosted from November 2018 to February 2020 at University of Oxford, and from March 2021 to October 2022 at TU Kaiserslautern. Check out our string solver OSTRICH. OSTRICH was ranked #1 in SMT Competition 2022 for the category (unsat, string theory, largest contribution); see here.


Current Members

Past Members