Login / Signup
Code-verification techniques for hypersonic reacting flows in thermochemical nonequilibrium.
Brian A. Freno
Brian R. Carnes
V. Gregory Weirs
Published in:
J. Comput. Phys. (2021)
Keyphrases
</>
source code
model checking
static analysis
formal methods
byte code
symbolic execution
artificial intelligence
formal analysis
signature verification
java card
person identification
nasa langley research center
verification method