Finite Verification of Infinite Families of Diagram Equations.
Hector Miller-BakewellPublished in: QPL (2019)
Keyphrases
- finite sets
- finite number
- finite dimensional
- signature verification
- mathematical model
- model checking
- verification method
- linearly separable
- numerical solution
- differential equations
- real numbers
- formal verification
- formal analysis
- nonlinear equations
- case study
- finitely representable
- unit length
- databases
- linear equations
- dynamical systems
- database systems
- artificial intelligence
- genetic algorithm
- neural network