Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract).

Ahmed Bouajjani Peter Habermehl

Published in: ICALP (1997)

Keyphrases

extended abstract
reachability analysis
management system
distributed systems
complex systems
model checking
machine learning
high speed
database design
markov decision processes
integrity constraints
embedded systems
multi channel