Creating implementations from Promela models.

Siedfried Löffler Ahmed Serhrouchni

Published in: The Spin Verification System (1996)

Keyphrases

database
information retrieval
prior knowledge
probabilistic model
neural network
multiscale
model selection
machine learning algorithms
linear model
autoregressive