The MoXI Model Exchange Tool Suite. - Chris Johannsen; Karthik Nukala; Rohit Dureja; Ahmed Irfan; Natarajan Shankar; Cesare Tinelli; Moshe Y. Vardi; Kristin Yvonne Rozier (CAV (1), 2024)

MoXI: An Intermediate Language for Symbolic Model Checking. - Kristin Yvonne Rozier; Rohit Dureja; Ahmed Irfan; Chris Johannsen; Karthik Nukala; Natarajan Shankar; Cesare Tinelli; Moshe Y. Vardi (SPIN, 2024)