Checking Models, Proving Programs, and Testing Systems.

Marie-Claude Gaudel

Published in: TAP@TOOLS (2011)

Keyphrases

complex systems
physical systems
probabilistic model
mathematical models
trading systems
prior knowledge
intelligent systems
computer systems
finite state machines
statistical model
computational models
learning systems
programming environment
databases
management system
multi agent
machine learning