SMT-Based Automatic Proof of ASM Model Refinement.

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene

Browse the full SEFM paper archive.