KCFA KVNT Koshien Bowl KYOZ Kent Senior Cup KNTO 106.1 FM Kent Football League (1894–1959) American football KMBI-FM Jake Lindsey (fighter) Kantoh Collegiate American Football Association Hyperproperty Dependence analysis Side effect (computer science) Path explosion Separation logic Typestate analysis Safety and liveness properties Polyvariance SAT solver Model checking E-graph Program slicing Static program analysis Abstract interpretation Program analysis Hoare logic 2017 NCAA Division III football season List of FM radio stations in the United States by call sign (initial letters KA–KC) List of radio stations in California