Parameterized Verification of Communicating Automata under Context Bounds.

Benedikt Bollig Paul Gastin Jana Schubert

Published in: RP (2014)

Keyphrases

lower bound
context aware
contextual information
upper bound
model checking
learning algorithm
case study
cellular automata
temporal logic
context sensitive
finite state
vc dimension