MoXI: An Intermediate Language for Symbolic Model Checking
Three progressive challenges stand in between the popular,“push-button,” industrially
valuable technique of symbolic model checking and the level of widespread adoption …
valuable technique of symbolic model checking and the level of widespread adoption …
MoXIchecker: An Extensible Model Checker for MoXI
MoXI is a new intermediate verification language introduced in 2024 to promote the
standardization and open-source implementations for symbolic model checking by …
standardization and open-source implementations for symbolic model checking by …