Runtime Verification

State Model Heap About 120 semantic state components Are all ISO C11 rules matched? If “no” then error