Specification and Verification of the ASOS Kernel.
Benedetto L. DiVitoP. H. PalmquistE. R. AndersonM. L. JohnstonPublished in: IEEE Symposium on Security and Privacy (1990)
Keyphrases
- formal verification
- asynchronous circuits
- protocol specification
- formal methods
- model checking
- kernel function
- kernel methods
- formal specification
- feature space
- high level
- concurrent systems
- kernel regression
- support vector
- multiple kernel learning
- signature verification
- special case
- pairwise
- data sets
- false acceptance rate
- colored petri nets
- kernel space
- reactive systems
- artificial intelligence
- e learning
- kernel machines
- kernel pca
- reproducing kernel hilbert space
- case study
- kernel matrix
- real time
- input space
- temporal logic
- user defined
- support vector machine