SMT-based verification of parameterized systems.

Arie Gurfinkel Sharon Shoham Yuri Meshman

Published in: SIGSOFT FSE (2016)

Keyphrases

management system
neural network
real time
learning algorithm
information systems
data structure
expert systems
complex systems
computing systems
probabilistic model
distributed systems
learning systems
formal methods