An SMT Approach to Bounded Reachability Analysis of Model Programs.

Margus Veanes Nikolaj Bjørner Alexander Raschke

Published in: FORTE (2008)

Keyphrases

computational model
statistical model
artificial intelligence
mathematical model
first order logic
neural network
high level
search algorithm
distributed systems
decision theoretic
reachability analysis