Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.

Sebastian Burckhardt Rajeev Alur Milo M. K. Martin

Published in: VMCAI (2005)

Keyphrases

neural network
database
multi agent
expert systems
computer vision
decision trees
multiscale
multi agent systems
user interface
evolutionary algorithm
general purpose
efficient implementation
parallel implementation
implementation issues