Publications

Leroy and Blazy Were Right: Their Memory Model Soundness Proof Is Automatable

AuthID
P-00Y-6GS

Author(s)

Barroso, P

Pereira, M

Ravara, A

Editor(s)

Lal,A;Tonetta,S

Document Type

Proceedings Paper

Year published

2023

Published

in VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 13800, Pages: 20-32 (13)

Conference

14Th International Working Conference on Verified Software - Theories, Tools and Experiments (Vstte), Date: OCT 17-18, 2022, Location: Trento, ITALY

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-031-25803-9_2

Scopus: 2-s2.0-85151052410

Wos: WOS:001058578700002

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Leroy and Blazy Were Right: Their Memory Model Soundness Proof Is Automatable

Useful Links

Get Help

Federated Authentication (Click on the image)

Leroy and Blazy Were Right: Their Memory Model Soundness Proof Is Automatable

Useful Links

Get Help