Safety across the HW/SW interface - Can formal methods meet the challenge?

Christian Bartsch Carlos Villarraga Dominik Stoffel Wolfgang Kunz

Published in: ISIC (2016)

Keyphrases

formal methods
hw sw
safety critical
embedded systems
hardware software
design methodology
knowledge based systems
software engineering
formal specification
user interface
model checking
artificial intelligence
development lifecycle
database
data processing
neural network
databases