Keyphrases
- differential equations
- formal methods
- dynamical systems
- formal analysis
- model checking
- ordinary differential equations
- numerical solution
- knowledge based systems
- artificial intelligence
- difference equations
- software engineering
- safety critical
- formal specification
- numerical methods
- boundary value problem
- partial differential equations
- databases
- nonlinear differential equations
- database
- runge kutta
- feed forward artificial neural networks
- natural images
- knowledge acquisition
- search space
- neural network
- development lifecycle
- formal specification language