SDL Versus C Equivalence Checking.

Malek Haroud Armin Biere

Published in: SDL Forum (2005)

Keyphrases

digital libraries
databases
neural network
genetic algorithm
consistency checking
data mining
multimedia
three dimensional
expert systems
interactive dynamic influence diagrams