Results of experimental investigations of aerodynamic characteristics of a sharp cone aimed at creating a validation basis for testing computer programs and models

Authors: Bosnyakov, S. M.^Aff1, Glazkov, S. A.^{Aff1, IDS0869864324050019_cor1}, Gorbushin, A. R.^{Aff1, IDS0869864324050019_cor2}, Gusev, D. Yu.^Aff1, Klemeshova, M. N.^Aff1, Krapivina, E. A.^Aff1, Mikhailov, S. V.^Aff1, Semenov, A. V.^Aff1, Shvalev, Yu. G.^Aff1

Source: Thermophysics and Aeromechanics. 31(5):915-928

Experimental validation of clock synchronization algorithms / Daniel L. Palumbo, R. Lynn Graham.

Authors: Palumbo, Daniel L., author

Subject Terms: Proving., Computer systems programs., Data processing., Synchronization., Electronic data processing -- Distributed processing., Computer programs -- Validation., Computer programs -- Verification., Electronic data processing -- Distributed processing., Real-time data processing., Synchronization.

Online Access: https://purl.fdlp.gov/GPO/gpo173720
https://ntrs.nasa.gov/api/citations/19920018346/downloads/19920018346.pdf

Mission driven scene understanding: candidate model training and validation / by Arnold Tunick.

Authors: Tunick, Arnold

Subject Terms: Context-aware computing., Photography, Military -- Computer programs., Pattern recognition systems., Optical data processing., Content-based image retrieval., Artificial intelligence -- Military applications.

Online Access: https://purl.fdlp.gov/GPO/gpo124985
https://www.arl.army.mil/arlreports/2016/ARL-TN-0781.pdf
https://catalog.gpo.gov/fdlpdir/locate.jsp?ItemNumber=0324-A-03&SYS=001103807

Validation and modification of the 4SIGHT computer program / Kenneth A. Snyder.

Authors: Snyder, Kenneth A.

Online Access: https://purl.fdlp.gov/GPO/gpo95601
https://doi.org/10.6028/NIST.IR.6747
https://www.govinfo.gov/content/pkg/GOVPUB-C13-1eac22770b97504f6f4ca33333e76b96/pdf/GOVPUB-C13-1eac22770b97504f6f4ca33333e76b96.pdf

Security content automation protocol (SCAP) version 1.2 validation program test requirements : / John F. Banghart.

Subject Terms: Computer systems technology.

Online Access: https://purl.fdlp.gov/GPO/gpo101179
https://doi.org/10.6028/NIST.IR.7511
https://www.govinfo.gov/content/pkg/GOVPUB-C13-9ecd8eae582935c93d7f410e955dabb6/pdf/GOVPUB-C13-9ecd8eae582935c93d7f410e955dabb6.pdf

SootImage: An image recreation, post-processing validation procedure for sooting axisymmetric flames

Authors: Chernov, V. ^{a, ⁎}, Escudero, F. ^b, Cruz, J.J. ^{c, b}, Eaves, N.A. ^d, Fuentes, A. ^b

Source: In Computer Physics Communications July 2024 300

Verification and validation of the open-source plasma fluid code: Zapdos

Authors: DeChant, Corey ^{a, ⁎}, Icenhour, Casey ^{a, b}, Keniley, Shane ^c, Gall, Grayson ^a, Lindsay, Alexander ^b, Curreli, Davide ^c, Shannon, Steven ^a

Source: In Computer Physics Communications October 2023 291

High-fidelity numerical wave tank verification & validation study : wave generation through paddle motion : preprint / T.T. Tran [and eight others].

Authors: Tran, T. T., author

Subject Terms: Conference papers and proceedings., Water waves -- Computer simulation.

Online Access: https://purl.fdlp.gov/GPO/gpo258701
https://www.nlr.gov/docs/fy25osti/90950.pdf

Independent verification and validation (computer programs)

Authors: Krauskopf, R., Rash, F.

Source: IEEE Potentials Potentials, IEEE. 9(2):12-14 Apr, 1990

Introduction to Machine Learning

Source: Machine Learning for Civil and Environmental Engineers. Apr 04, 2025

TRACE VVER-1000/V-320 model cross-code validation / prepared by S. Iegan [and three others].

Authors: Iegan, S., author

Subject Terms: Technical reports., Pressurized water reactors -- Loss of coolant -- Computer simulation., Nuclear power plants -- Accidents -- Computer simulation., Nuclear reactors -- Thermodynamics., Thermal hydraulics., Nuclear power plants -- Design and construction. -- United States, Nuclear power plants.

Online Access: https://purl.fdlp.gov/GPO/gpo160054
https://www.nrc.gov/docs/ML2122/ML21225A613.pdf

TRACE VVER-440/V-213 model cross-code validation / prepared by S. Iegan [and three others].

Authors: Iegan, S., author

Subject Terms: Technical reports., Pressurized water reactors -- Loss of coolant -- Computer simulation., Nuclear power plants -- Accidents -- Computer simulation., Nuclear reactors -- Thermodynamics., Thermal hydraulics., Nuclear power plants -- Design and construction. -- United States, Nuclear power plants.

Online Access: https://purl.fdlp.gov/GPO/gpo157554
https://www.nrc.gov/docs/ML2109/ML21090A326.pdf

Computer Science and Technology: Validation, Verification, and Testing for the Individual Programmer.

Authors: Branstad, Martha A., National Bureau of Standards (DOC), Washington, DC. Inst. for Computer Sciences and Technology.

Peer Reviewed: N

Page Count: 26

Descriptors: Computer Programs, Design, Evaluation Methods, Evaluation Needs, Formative Evaluation, Guidelines, Program Development, Program Evaluation, Program Validation, Programing, Testing

Geographic Terms: U.S.; District of Columbia

Journal Code: RIEFEB1981

Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V.

Authors: Li, Yiwei, Yin, Liangze, Dong, Wei, Liu, Jiaxin, Hu, Yanfeng, Li, Shanshan

Source: ICSE: International Conference on Software Engineering; 2025, p2261-2272, 12p

Subject Terms: Software verification, Compilers (Computer programs), Computer software, Reduced instruction set computers, Software validation, C (Computer program language)

A procedure for PLC programs validation

Authors: Gergely, E. I., Popentiu-Vladicescu, Fl., Madsen, H., Mang, G.E., Nagy, Z. T., Spoiala, D.

Source: 2009 3rd International Workshop on Soft Computing Applications Soft Computing Applications, 2009. SOFA '09. 3rd International Workshop on. :171-176 Jul, 2009

Relation: 2009 3rd International Workshop on Soft Computing Applications (SOFA)

Comparisons of Asphalt Pavement Structure Interlayer Bonding Algorithms for Typical Computer Programs

Authors: Babiker, Lana Elabbas Abdelhaliem^{Aff1, Aff2, Aff3}, Jiang, Xin^{Aff1, Aff2, Aff3, IDs42947025006639_cor1}, Zhang, Mian^{Aff1, Aff2, Aff3}, Cui, Canyang^{Aff1, Aff2, Aff3}, Lu, Yangchen^{Aff1, Aff2, Aff3}, Qiu, Yanjun^{Aff1, Aff2, Aff3}

Source: International Journal of Pavement Research and Technology. :1-19

An Innovative Heuristic to Detect Special States in Concurrent Software Systems.

Authors: Pira, Einollah, Rouhi, Alireza

Source: Quality & Reliability Engineering International; Dec2025, Vol. 41 Issue 8, p3686-3697, 12p

Subject Terms: Heuristic, Verification of computer systems, Software development tools, Computer performance, State-space methods, Software validation, Parallel programs (Computer programs)

Integration and validation of the DEROB and PASOLE computer programs for the simulation of passive solar heating and cooling of buildings. Final report

Contributors: Arumi-Noe, F

File Description: Medium: ED; Size: Pages: 4

Access URL: http://www.osti.gov/scitech/servlets/purl/6825343

Numerical validation of selected computer programs in nonlinear analysis of steel frame exposed to fire

Authors: Maślak, Mariusz, primary, Pazdanowski, Michał, additional, Woźniczka, Piotr, additional

Source: 2018/01/01

Access URL: https://aip.scitation.org/doi/pdf/10.1063/1.5019160

Validation of computer programs in geotechnical design

Authors: Bond, Andrew, primary

Source: Geotechnical Engineering for Transportation Infrastructure. 2017/11/22