Basic RS274 Coq and Why3 Semantics Proofs

Sottile, Matthew J [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]; Tekriwal, Mohit K [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]

doi:10.5281/zenodo.14458401

DOE OSTI · 2997258

Basic RS274 Coq and Why3 Semantics Proofs

Sottile, Matthew J [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]·Tekriwal, Mohit K [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]

View original source ↗Read source document ↗Export metadata ↓

Abstract

The source did not provide an abstract. Follow the original record for more information.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Sottile, Matthew J [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)], Tekriwal, Mohit K [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]. 2025-09-17. Basic RS274 Coq and Why3 Semantics Proofs. https://doi.org/10.5281/zenodo.14458401

Cite the original work for its findings. Save a collection to share your selection of sources.