They're specifications in the K Framework, developed by the same group of folks: http://www.kframework.org/index.php/Main_Page