Login / Signup

Formal verification process of the compliance of a multicore AUTOSAR OS.

Imane HaurJean-Luc BéchennecOlivier H. Roux
Published in: Softw. Qual. J. (2023)
Keyphrases
  • formal verification
  • open source
  • model checking
  • neural network
  • data sets
  • artificial intelligence
  • computer systems
  • operating system
  • orders of magnitude