Verifying realizability and reachability in recursive interaction protocol specifications.

Hywel R. Dunn-Davies Jim Cunningham

Published in: AAMAS (2) (2009)

Keyphrases

model checking
model checker
protocol specification
lightweight
user interaction
recursive programs
human interaction
state space
transitive closure
formal verification
high level
reinforcement learning
digital libraries
expressive power
communication protocol
state machines