Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations.

Ahmed Bouajjani Peter Habermehl

Published in: Theor. Comput. Sci. (1999)

Keyphrases

reachability analysis
management system
computer systems
complex systems
machine learning
learning algorithm
knowledge base
expert systems
state space