Home » io.github.uuverifiers » princess » Usages

Artifacts using Princess (4)
Sort by:Popular▼

1. Java SMT7 usages

org.sosy-lab » java-smtApache

Unified acccess layer to SMT solvers
Last Release on Apr 12, 2025

2. Analysis4 usages

org.polystat.odin » analysisMIT

Odin (object dependency inspector) — static analyzer for EO source code that detects OOP-related bugs.
Last Release on Jul 1, 2022

3. Ostrich1 usages

io.github.uuverifiers » ostrichBSD

OSTRICH is an SMT solver for string constraints.
Last Release on Nov 12, 2024

4. Eldarica

io.github.uuverifiers » eldaricaBSD

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Last Release on Apr 24, 2025
  • Prev
  • 1
  • Next