casm-be (cargo): Corinthian Abstract State Machine (CASM) Back-End (BE)
Keywords: backend|casm|csel|library|model-to-model|model-to-text|passes|transformation