TY  - RPRT
TI  - The First Tri-Lab Workshop on Formal Verification: Capabilities, Challenges, Research Opportunities, and Exemplars
AU  - Pollard, Samuel Douglas
AU  - Aytac, Jon M.
AU  - Kellison, Ariel Eileen
AU  - Laguna, Ignacio
AU  - Nedunuri, Srinivas
AU  - Reis, Sabrina Arianne
AU  - Sottile, Matthew J.
AU  - Thornquist, Heidi Krista
PY  - 2024
DO  - 10.2172/2430026
UR  - https://www.osti.gov/biblio/2430026
ID  - 2430026
ER  -