Formal Verification and Accelerated Inference.

Dmitry Strabykin Vasily Meltsov Maria Dolzhenkova Gennady Chistyakov Alexey Kuvaev

Published in: CSOC (1) (2016)

Keyphrases

formal verification
model checking
bounded model checking
model checker
automated verification
bayesian networks
bayesian inference
probabilistic inference
symbolic model checking
program slicing
artificial intelligence
multi agent systems
expert systems
functional verification