On the Use of Formal Techniques for Validation.

Neeraj Suri Purnendu Sinha

Published in: FTCS (1998)

Keyphrases

formal specification
information retrieval
database systems
formal model
formal models
formal representation
real time
databases
genetic algorithm
learning algorithm
multiscale
search algorithm
probabilistic model
model checking