1 paper
Salih Ates, Dirk Beyer, Po-Chun Chien +1
MoXI is a new intermediate verification language introduced in 2024 to promote the standardization and open-source implementations for symbolic model checking by extending the SMT-…