TY  - RPRT
TI  - Portus: Linking Alloy with SMT-based Finite Model Finding
AU  - Ryan Dancy
AU  - Nancy A. Day
AU  - Owen Zila
AU  - Khadija Tariq
AU  - Joseph Poremba
PY  - 2026
DO  - 10.1109/tse.2025.3631361
UR  - https://arxiv.org/abs/2411.15978
ID  - 2411.15978
ER  -