Powerful Techniques for the Automatic Generation of Invariants.

Saddek Bensalem Yassine Lakhnech Hassen Saïdi

Published in: CAV (1996)

Keyphrases

automatically generate
neural network
information systems
website
real time
genetic algorithm
image processing
web services
special case
hidden markov models
user friendly