A New Verification Method for Deterministic and Stochastic Codes

Krueger, Aaron Martin; Jelsema, Casey Michael; Smith, Timothy Andrew; Huang, Andy

doi:10.2172/2431159

DOE OSTI · 2431159

A New Verification Method for Deterministic and Stochastic Codes

Krueger, Aaron Martin·Jelsema, Casey Michael·Smith, Timothy Andrew·Huang, Andy

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

Krueger, Aaron Martin, Jelsema, Casey Michael, Smith, Timothy Andrew, Huang, Andy. 2023-05-01. A New Verification Method for Deterministic and Stochastic Codes. https://doi.org/10.2172/2431159

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