Model Check of Real-time Property of Embedded Assembly Program Using CEGAR.

Hiromu Kamide Kosuke Uemura Satoshi Yamane

Published in: COMPSAC (1) (2018)

Keyphrases

real time
computational model
experimental data
mathematical model
probabilistic model
information systems
formal model
prior knowledge
management system
network model
prediction model
conceptual model
maximum likelihood
vision system
low cost
evolutionary algorithm
bayesian networks
web services