@misc{indiciae6a99d8626295,
  title = {Software Verification Toolkit (SVT): Survey on Available Software Verification Tools and Future Direction},
  author = {Davis, Nickolas A. and Berger, Taylor E. and McDonald, Arthur and Ingram, Joey B. and Foster, James D. and Sanchez, Katherine},
  year = {2022},
  doi = {10.2172/1884906},
  url = {https://www.osti.gov/biblio/1884906},
  note = {Source identifier: 1884906}
}