Sign in

The Erlang Verification Tool.

Thomas NollLars-Åke FredlundDilian 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