RozierDIJNSTV24

@inproceedings{RozierDIJNSTV24,
author    = {Rozier, Kristin Yvonne and Dureja, Rohit and Irfan, Ahmed and Johannsen, Chris and Nukala, Karthik and Shankar, Natarajan and Tinelli, Cesare and Vardi, Moshe Y.},
title     = {{MoXI: An Intermediate Language for Symbolic Model Checking}},
booktitle = {Proceedings of the International Symposium on Model Checking Software (SPIN)},
publisher = {Springer},
year      = {2024},
abstract  = {This paper proposes MoXI, an intermediate language for symbolic model checking designed to improve standardization and open-source interoperability across model-checking tools. Building on SMT-LIB, MoXI is intended to represent verification tasks for hardware, software, and other infinite-state systems while remaining simple enough to support tool translation, experimentation, and broader community adoption.},
url       = {https://doi.org/10.1007/978-3-031-66149-5_2}
}