Другие журналы
|
электронный журналМОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИКИздатель Академия инженерных наук им. А.М. Прохорова. Эл 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. Публикации с ключевыми словами: проблема останова, система переписывания термов, верификация программного обеспечения, граф потока управления Публикации со словами: проблема останова, система переписывания термов, верификация программного обеспечения, граф потока управления Смотри также: Тематические рубрики: Поделиться:
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|