Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.

Matteo Pradella Angelo Morzenti Pierluigi San Pietro

Published in: ASE (2008)

Keyphrases

real time
mathematical model
computational model
objective function
theoretical framework
high level
database systems
probabilistic model
low cost
least squares
simulation model
sensitivity analysis
experimental data
theoretical analysis
similarity measure
feature selection
data mining