Formal model-based conformance verification of an OSEK/VDX compliant RTOS.

Jean-Luc Béchennec Olivier Henry Roux Tigori Kabland Toussaint Gautier

Published in: CoDIT (2018)

Keyphrases

formal methods
formal analysis
model checking
protocol specification
formal specification
data sets
multi agent systems
machine learning
information retrieval
artificial intelligence
case study
image sequences
computer science
data driven
formal model
face verification