Component-Based Approach to Run-Time Kernel Specification and Verification.
Gustaf NaeserKristina LundqvistPublished in: ECRTS (2005)
Keyphrases
- formal verification
- asynchronous circuits
- model checking
- formal methods
- kernel methods
- feature space
- protocol specification
- support vector
- formal specification
- artificial intelligence
- colored petri nets
- specification language
- face verification
- feature extraction
- reproducing kernel hilbert space
- software components
- signature verification
- positive definite
- database systems
- high level
- provably correct
- verification method
- input space
- concurrent systems
- sparse kernel
- kernel function