Search Results - "cloud parallel programming system"

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System

Authors: D. A. Kondratyev

Source: Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 372-393 (2021)

Subject Terms: symbolic method of verification of definite iterations, cloud parallel programming system, 0202 electrical engineering, electronic engineering, information engineering, loop invariant, c-lightver, Information technology, 0102 computer and information sciences, 02 engineering and technology, deductive verification, T58.5-58.64, 01 natural sciences, acl2

Access URL: https://www.mais-journal.ru/jour/article/download/1566/1196
https://doaj.org/article/ff6a7cc2c6214b5c8b4e028660412423

Towards verification of scientific and engineering programs. The CPPS project

Source: Вычислительные технологии. :91-106

Subject Terms: ACL2, cloud parallel programming system, 0211 other engineering and technologies, loop invariant, 02 engineering and technology, Cloud-Sisal-kernel, облачная система параллельного программирования, deductive verification, инвариант цикла, 0202 electrical engineering, electronic engineering, information engineering, Cloud-Sisal, Cloud Sisal, C-lightVer, дедуктивная верификация