Before revision: Applications Matching logic is used by the K Framework to define operational semantics and use them as a Hoare logi
After revision: Applications Matching logic.c is used by the K Framework to define operational semantics and use them as a Hoare logi