Using TAME to prove invariants of automata models: Two case studies.

Myla Archer Constance L. Heitmeyer Elvinia Riccobene

Published in: FMSP (2000)

Keyphrases

case study
lessons learned
probabilistic model
open source
complex systems
cellular automata
neural network
real world
information systems
probability distribution
state space
model selection
experimental data
statistical models