Code Verification for Practically Singular Equations.
Brian A. FrenoNeil R. MatulaPublished in: CoRR (2022)
Keyphrases
- source code
- face verification
- differential equations
- concurrent systems
- nonlinear equations
- numerical solution
- model checking
- byte code
- formal analysis
- mathematical model
- artificial intelligence
- data flow
- temporal logic
- linear systems
- static analysis
- image processing
- formal verification
- information systems
- symbolic execution
- database