Application of formal methods for design space exploration and refinement.

Dominique Borrione Ashraf M. Salem

Published in: FDL (2013)

Keyphrases

formal methods
design space exploration
computer aided
formal analysis
real world
artificial intelligence
image analysis
formal specification