( en | de | ru )

 

Disambiguation of "Paskevich, Andrei"

Author of the publication

copydeleteadd this publication to your clipboard
How to Avoid Proving the Absence of Integer Overflows.

, , and . VSTTE, volume 9593 of Lecture Notes in Computer Science, page 94-109. Springer, (2015)

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. You can also use the button next to the name to display some publications already assigned to the person.

Andrei Verbovsky

Andrei Munk

Andrei Belitski

Andrei Lehmann

Andrei Negoescu

 

Other publications of authors with the same name

Borrowing Safe Pointers from Rust in SPARK, , and . (2018)cite arxiv:1805.05576Comment: 17 pages, 0 figures.Why3 - Where Programs Meet Provers., and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 125-128. Springer, (2013)Verification of Programs with Pointers in SPARK., , , , and . ICFEM, volume 12531 of Lecture Notes in Computer Science, page 55-72. Springer, (2020)The 2nd Verified Software Competition: Experience Report., , and . COMPARE, volume 873 of CEUR Workshop Proceedings, page 36-49. CEUR-WS.org, (2012)Abstraction and Genericity in Why3., and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 122-142. Springer, (2020)Deductive verification with ghost monitors., , and . Proc. ACM Program. Lang., 4 (POPL): 2:1-2:26 (2020)Evidential Paradigm as Formal Knowledge Presentation and Processing., , and . ICTERI, volume 1614 of CEUR Workshop Proceedings, page 25-32. CEUR-WS.org, (2016)