Formal Verification Methods for Industrial Hardware Design.

Anna Slobodová

Published in: SOFSEM (2001)

Keyphrases

formal verification
hardware design
model checking
computer vision
information systems
case study
reinforcement learning