MoXIchecker: An Extensible Model Checker for MoXI. - Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (VSTTE, 2024)

MoXIchecker Release 0.1. - Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)

Btor2-Cert (HWMCC 2024 Submission). - Zsófia Ádám; Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)

MoXIchecker Release 0.2. - Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)