JohannsenNDISTVR24

@inproceedings{JohannsenNDISTVR24,
author    = {Johannsen, Chris and Nukala, Karthik and Dureja, Rohit and Irfan, Ahmed and Shankar, Natarajan and Tinelli, Cesare and Vardi, Moshe Y. and Rozier, Kristin Yvonne},
title     = {{The MoXI Model Exchange Tool Suite}},
booktitle = {Proceedings of Computer Aided Verification (CAV)},
publisher = {Springer},
year      = {2024},
abstract  = {This paper introduces the first tool suite built around MoXI, a model-exchange language intended to serve as a common standard for symbolic model checking. The work presents translators into and out of MoXI, an initial benchmark collection, and practical guidance on using and extending the tooling, showing that the approach is useful beyond hardware-only settings and can support future research-community interoperability.},
url       = {https://doi.org/10.1007/978-3-031-65627-9_10}
}