Efficient Approximate Verification of Promela Models Via Symmetry Markers.

Dragan Bosnacki Alastair F. Donaldson Michael Leuschel Thierry Massart

Published in: ATVA (2007)

Keyphrases

artificial intelligence
databases
machine learning algorithms
model checking
statistical models
modeling framework
real time
multiscale
probabilistic model
markov random field
medical images
complex systems
experimental data