Code verification for practically singular equations.

Brian A. Freno Neil R. Matula

Published in: J. Comput. Phys. (2022)

Keyphrases

model checking
source code
mathematical model
symbolic execution
linear systems
formal methods
formal verification
verification method
databases
neural network
learning algorithm
website
decision trees
software development
fully functional
polynomial equations