Login / Signup
Efficient SAT/simulation-based model generation for low-level embedded software.
Christian Bartsch
Carlos Villarraga
Bernard Schmidt
Dominik Stoffel
Wolfgang Kunz
Published in:
MBMV (2014)
Keyphrases
</>
embedded software
low level
high level
embedded systems
real time
relational databases
test set