Login / Signup

Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs.

Takeshi MatsumotoHiroshi SaitoMasahiro Fujita
Published in: ISQED (2006)
Keyphrases
  • simulation model
  • simulation models
  • real time
  • graph representation
  • graph theoretic
  • high level
  • database systems
  • intermediate level
  • database
  • data sets
  • graph theory
  • simulation environment
  • symbolic description