Slicing communicating automata specifications: polynomial algorithms for model reduction.

Sébastien Labbé Jean-Pierre Gallois

Published in: Formal Aspects Comput. (2008)

Keyphrases

high level
theoretical analysis
statistical model
management system
computational cost
probability distribution
source code
computational model
specification language
learning algorithm
finite state machines
temporal logic
experimental data
computationally efficient
em algorithm
cost function
objective function