Executable Semantic Framework (K Framework)
K Semantics for Domain Specific Modelling Languages
Automated Verification Using Circularities