Design of Control Dominated Hardware Based on Formal Methods.

Werner Grass Stefan Lenk Christine Sontheim

Published in: EUROMICRO (1998)

Keyphrases

formal methods
control program
control unit
knowledge based systems
formal analysis
safety critical
real time
control system
single chip
real time embedded
model checker
hardware design
embedded systems
data acquisition
model checking
design process
source code
development lifecycle
machine learning