Sign in

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

Imane HaurJean-Luc BéchennecOlivier 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