Login / Signup

Fast falsification based on symbolic bounded property checking.

Prakash Mohan PeranandamPradeep Kumar NallaJürgen RufRoland J. WeissThomas KropfWolfgang Rosenstiel
Published in: DAC (2006)
Keyphrases
  • symbolic representation
  • high level
  • image processing
  • three dimensional
  • symbolic description
  • feature space
  • multiresolution
  • continuous functions
  • connectionist systems