( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions.

, , , и . ECOOP, том 7920 из Lecture Notes in Computer Science, стр. 451-476. Springer, (2013)

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., и . ESOP, том 6602 из Lecture Notes in Computer Science, стр. 439-458. Springer, (2011)Approaches to Polymorphism in Classical Sequent Calculus., и . ESOP, том 3924 из Lecture Notes in Computer Science, стр. 84-99. Springer, (2006)Viper: A Verification Infrastructure for Permission-Based Reasoning., , и . Dependable Software Systems Engineering, том 50 из NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)The Relationship Between Separation Logic and Implicit Dynamic Frames, и . Logical Methods in Computer Science, (2012)Sound Automation of Magic Wands (extended version)., , , , и . CoRR, (2022)Formally Validating a Practical Verification Condition Generator., , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 704-727. Springer, (2021)Prusti: deductive verification for Rust (keynote).. FTfJP@ECOOP, стр. 1. ACM, (2020)Modular Verification of Collaborating Smart Contracts., , , , и . CoRR, (2021)Software Verification Äcross the Stack" (Invited Talk).. ECOOP, том 37 из LIPIcs, стр. 3-3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames., и . VSTTE, том 8164 из Lecture Notes in Computer Science, стр. 202-221. Springer, (2013)