Login / Signup
Model reduction techniques for the formal verification of hardware dependent software.
Wolfgang Ecker
Volkan Esen
Rainer Findenig
Thomas Steininger
Michael Velten
Published in:
HLDVT (2010)
Keyphrases
</>
computational model
formal verification
high level
real time
probabilistic model
low cost
mathematical model
neural network
artificial intelligence
probability distribution
computer systems
hardware and software
reverse engineering