Начиная с 1994 года основным направлением исследований в отделе стало создание формальных методов разработки программного обеспечения и их практическое применение индустриальных заявлений (применений). Исследования, объединившие усилия Института системного программирования РАН и Института прикладной математики им. М.В.Келдыша РАН, базируются на разработках программного обеспечения, выполненных для Советского Центра управления полетами и для бортовой ЭВМ космического корабля многоразового использования "Буран". Был разработан новый подход к созданию формальных спецификаций наследуемых систем. Он объединил Венский метод и RAISE-технологию разработки программного обеспечения и соответствующий язык спецификаций программ RSL. Преследовалась также цель автоматической генерации тестов разрабатываемых программ. Ключевые слова Операционные системы, спецификации программных комплексов, тестирование программных комплексов