A study about the efficiency of formal high-level synthesis applied to verification.

José M. Mendías Román Hermida Olga Peñalba

Published in: Integr. (2002)

Keyphrases

real world
computer vision
computational complexity
np hard
model checking
formal methods
formal analysis