Automated Verification of Proper Choreography Implementation.

Erwin Jansen Hen-I Yang Sumi Helal

Published in: SAINT (2006)

Keyphrases

automated verification
model checking
database
neural network
automated reasoning
artificial intelligence
knowledge base
multi agent systems
temporal logic
parallel implementation
implementation details
formal verification