From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Making Proofs of Floating-Point Programs Accessible to Regular Developers.

C. Dross, и J. Kanig. VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 7-24. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

CC(X): Semantic Combination of Congruence Closure with Solvable Theories.S. Conchon, E. Contejean, J. Kanig, и S. Lescuyer. SMT@CAV, том 198 из Electronic Notes in Theoretical Computer Science, стр. 51-69. Elsevier, (2007)Call Me Back, I Have a Type Invariant.M. Aiello, J. Kanig, и T. Kurita. FM Workshops (1), том 12232 из Lecture Notes in Computer Science, стр. 325-336. Springer, (2019)Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve - the hi-lite project.J. Kanig. HILT, стр. 5-6. ACM, (2012)Recursive Data Structures in SPARK.C. Dross, и J. Kanig. CAV (2), том 12225 из Lecture Notes in Computer Science, стр. 178-189. Springer, (2020)Integration von Formaler Verifikation und Test.C. Comar, J. Kanig, и Y. Moy. Automotive - Safety & Security, том P-210 из LNI, стр. 133-148. GI, (2012)Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification.J. Kanig, R. Chapman, C. Comar, J. Guitton, Y. Moy, и E. Rees. TAP, том 8570 из Lecture Notes in Computer Science, стр. 142-157. Springer, (2014)Making Proofs of Floating-Point Programs Accessible to Regular Developers.C. Dross, и J. Kanig. VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 7-24. Springer, (2021)