• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Verifying SystemC with predicate abstraction: A component based approach.

Nesrine HarrathBruno MonsuezKamel Barkaoui
Published in: IRI (2013)
Keyphrases
  • high level
  • data sets
  • decision trees
  • wide range
  • evolutionary algorithm
  • logic rules
  • neural network
  • information retrieval
  • artificial intelligence
  • image processing
  • low level
  • model checking