TY  - RPRT
TI  - MoXIchecker: An Extensible Model Checker for MoXI
AU  - Salih Ates
AU  - Dirk Beyer
AU  - Po-Chun Chien
AU  - Nian-Ze Lee
PY  - 2024
UR  - https://arxiv.org/abs/2407.15551
ID  - 2407.15551
ER  -