SMT Based Automatic Proof of ASM Model Refinement
Model refinement is a technique indispensable for modeling large and complex systems. Many formal specification methods share this concept which usually comes together with the definition of refinement correctness, i.e. the mathematical proof of a logical relation between an abstract model and its refined models.
SEFM