Separation Kernel Verification: The Xtratum Case Study.
David SanánAndrew ButterfieldMike HincheyPublished in: VSTTE (2014)
Keyphrases
- case study
- kernel function
- support vector
- feature space
- model checking
- software development
- kernel methods
- lessons learned
- real time
- kernel matrix
- perceptron learning
- verification method
- person identification
- reproducing kernel hilbert space
- formal analysis
- business process
- neural network
- similarity function
- face verification
- formal methods
- multiscale
- face recognition
- kernel learning
- signature verification
- kernel regression
- information systems
- real world
- partial least squares regression