Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25, № 6 (2018) Онтология процессов, ориентированная на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова
"... Хоара. Она является частью интеллектуальной системы поддержки верификации свойств поведения таких ..."
 
Том 25, № 2 (2018) О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов Аннотация  PDF (Rus)  похожие документы
Алевтина Борисовна Глонина, Василий Викторович Балашов
 
Том 25, № 6 (2018) Даже простые процессы π-исчисления трудны для анализа Аннотация  PDF (Rus)  похожие документы
Марат Мазен Аббас, Владимир Анатольевич Захаров
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... окружающей среды. В более ранних работах авторов этой статьи изучалась задача верификации конечных автоматов ..."
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
"... При дедуктивной верификации программ, написанных на императивных языках программирования, особую ..."
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
"... построения успешных доказательств. В этой статье мы представляем альтернативный метод верификации для ..."
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... назначения. Поэтому актуальными задачами являются верификация уже созданных программ развития и разработка ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... Цель проекта “Платформенно-независимый подход к формальной спецификации и верификации стандартных ..."
 
1 - 8 из 8 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)