CF-GKAT: Control FlowCF-GKAT: Control FlowComparison Toolequivalence.A tool for checking program behaviorProgramming LanguagesCF-GKAT: Comparing Control Flow in ProgrammingA new tool to check program equivalence through control flow analysis.2025-05-16T03:50:40+00:00 ― 6 min read