Trustworthy Intelligent Systems

Skip to content
  • Home
  • Members
  • Research
    • Publications
    • Projects
  • Teaching
    • Discrete Mathematics
    • Formal Methods
    • Reinforcement Learning
    • Algorithm Design and Analysis
  • Contact
  • Sino-Europe institute

Ostrich wins at SMT-COMP’23

We are proud that Ostrich, an SMT solver for string constraints co-developed at TIS is the winner of the Quantifier-free Strings, single query track, of SMT-COMP’23.

This entry was posted in News on July 20, 2023 by andrea.

Post navigation

← Paper accepted at ICCV’23

Admin area

  • Log in
Proudly powered by WordPress