Kripke structure (model checking) (current) Ministry of Environmental Protection (Soviet Union) Harry Potter and the Methods of Rationality Profiling (information science) Enhanced Data rates for GSM Evolution DevOps Frontbench Team of Tim Farron Vanity and Some Sables Classical Cepheid variable Key generator The Monty Python Matching Tie and Handkerchief Six Flute Concertos, Op. 10 (Vivaldi) Goodbye (Jason Derulo and David Guetta song) NXIVM Corp. v. Ross Institute Motorbase Performance