Formal API Specification of the PikeOS Separation Kernel.
Freek VerbeekOto HavleJulien SchmaltzSergey TverdyshevHolger BlasumBruno LangensteinWerner StephanBurkhart WolffYakoub NemouchiPublished in: NFM (2015)
Keyphrases
- formal specification
- formal methods
- specification languages
- reactive systems
- high level
- formal language
- kernel function
- source code
- requirements specification
- kernel methods
- formal languages
- kernel space
- specification language
- support vector
- application developers
- operational semantics
- model checking
- application programming interface
- formal model
- neural network
- mutual subspace method
- open source
- feature space
- kernel pca
- reproducing kernel hilbert space
- component analysis
- feature vectors
- software requirements
- knowledge base
- data sets