Verifying hyperproperties of hardware systems.

Bernd Finkbeiner Markus N. Rabe

Published in: FMCAD (2016)

Keyphrases

computer systems
management system
low cost
real time
hardware architectures
expert systems
high end
hardware designs
database
operating environment
processing capabilities
hardware implementation
intelligent systems
software development
mobile devices
artificial intelligence
neural network