A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela.

Lamia Eljadiri Ismail Assayad

Published in: ICSDE (2018)

Keyphrases

building blocks
embedded systems
real time
data sets
qualitative and quantitative
formal verification
case study
multi agent
sensor networks
response time
model checking
test bed
control software
real time embedded