Информатика и системы управления
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609

Методы проверки на останов программного кода

Молодежный научно-технический вестник # 10, октябрь 2015
УДК: 519.686.4
Файл статьи: ДикопаловаТС.pdf (173.54Кб)
автор: Дикопалова Т. С.

1.     Koprowski  A. Coq formalization of the higher-order recursive path ordering //  Applicable Algebra in Engineering, Communication and Computing. 2009. Vol. 20. P. 379-425. DOI:     10.1007/s00200-009-0105-5.

2.     Sarnat J., Schürmann C. Lexicographic Path Induction // 9th International Conference on Typed Lambda Calculi and Applications: proceedings. Berlin: Springer Berlin Heidelberg, 2009. Vol. 5608. P. 279 – 293.

3.     Bagnara R., Mesnard F., Pescetti A., Zaffanella E. A New Look at the Automatic Synthesis of Linear Ranking Functions // Information and Computation. 2012. Vol. 215. P. 46-67.

4.     Larraz D., Oliveras A., Rodríguez-Carbonell E., Rubio A. Proving Termination of Imperative Programs Using Max-SMT // Lecture Notes in Computer Science. 2014. Vol. 8559. P. 779-796. DOI: 10.1007/978-3-319-08867-9_52

5.     Giesl J., Thiemann R., Schneider-Kamp P., Falke S. Mechanizing and Improving Dependency Pairs // Journal of Automated Reasoning. 2006. Vol. 37. P. 155–203. DOI: 10.1007/s10817-006-9057-7.

6.     Zantema H. Termination of String Rewriting Proved Automatically // Journal of Automated Reasoning. 2005. Vol. 34. P. 105–139.

7.     Geser A., Hofbauer D., Waldmann J. Termination Proofs for String Rewriting Systems via Inverse Match-Bounds // Journal of Automated Reasoning. 2005. Vol. 34. P. 365-385. DOI:     10.1007/s10817-005-9024-8.

8.     Awedh M., Somenzi F. Termination Criteria for Bounded Model Checking: Extensions and Comparison // Electronic Notes in Theoretical Computer Science. 2006. Vol. 144. P. 51-66. DOI:10.1016/j.entcs.2005.07.019.


Тематические рубрики:
Поделиться:
 
ПОИСК
 
elibrary crossref neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499) 263-61-98
  RSS
© 2003-2021 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98