Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel.

Imane Haur Jean-Luc Béchennec Olivier H. Roux

Published in: ICFEM (2022)

Keyphrases

formal verification
model checking
neural network
feature selection
domain specific
kernel function
data sets
machine learning
software development