Verification of Communicating Processes by Means of Automata Reduction and Abstraction.

Eric Madelaine Didier Vergamini

Published in: STACS (1992)

Keyphrases

communication channels
high level
data sets
cellular automata
model checking
artificial intelligence
finite state machines
real world
finite automata
genetic algorithm
machine learning
database
temporal logic
stochastic processes
formal verification
probabilistic automata
bounded model checking