Formal analysis of hardware requirements.

Ingo Pill Simone Semprini Roberto Cavada Marco Roveri Roderick Bloem Alessandro Cimatti

Published in: DAC (2006)

Keyphrases

formal analysis
low cost
formal methods
hardware and software
real time
agent model
image processing
computer systems
hardware implementation
ban logic
web services
embedded systems
computing systems
commercial off the shelf