From post

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

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version).

G. Parthasarathy, T. Dardinier, B. Bonneau, P. Müller, и A. Summers. CoRR, (2024)

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.

Jim Summers

Alexander J Mrozek

Alexander J Wulf

Alexander J Schmidt

Alexander J Teague

Другие публикации лиц с тем же именем

The Relationship between Separation Logic and Implicit Dynamic Frames.M. Parkinson, и A. Summers. ESOP, том 6602 из Lecture Notes in Computer Science, стр. 439-458. Springer, (2011)Viper: A Verification Infrastructure for Permission-Based Reasoning.P. Müller, M. Schwerhoff, и A. Summers. Dependable Software Systems Engineering, том 50 из NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)Approaches to Polymorphism in Classical Sequent Calculus.A. Summers, и S. van Bakel. ESOP, том 3924 из Lecture Notes in Computer Science, стр. 84-99. Springer, (2006)Formally Validating a Practical Verification Condition Generator.G. Parthasarathy, P. Müller, и A. Summers. CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 704-727. Springer, (2021)Prusti: deductive verification for Rust (keynote).A. Summers. FTfJP@ECOOP, стр. 1. ACM, (2020)A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations.R. Ge, R. Garcia, и A. Summers. IJCAR (1), том 14739 из Lecture Notes in Computer Science, стр. 419-438. Springer, (2024)Sound Automation of Magic Wands.T. Dardinier, G. Parthasarathy, N. Weeks, P. Müller, и A. Summers. CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 130-151. Springer, (2022)Permission Inference for Array Programs.J. Dohrau, A. Summers, C. Urban, S. Münger, и P. Müller. CAV (2), том 10982 из Lecture Notes in Computer Science, стр. 55-74. Springer, (2018)Reframing the Liskov substitution principle through the lens of testing.E. Baniassad, и A. Summers. SPLASH-E, стр. 49-58. ACM, (2021)Local Reasoning for Global Graph Properties.S. Krishna, A. Summers, и T. Wies. ESOP, том 12075 из Lecture Notes in Computer Science, стр. 308-335. Springer, (2020)

BibSonomy

Disambiguation