The Erlang Verification Tool.

Thomas Noll Lars-Åke Fredlund Dilian Gurov

Published in: TACAS (2001)

Keyphrases

model checking
formal verification
data sets
data mining
information retrieval
genetic algorithm
multiscale
conceptual model
user friendly
software tools