Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances.

Michael Dooley Fabio Somenzi

Published in: CAV (1) (2016)

Keyphrases

management system
databases
intelligent systems
building blocks
theorem proving
search algorithm
computer systems
retrieval systems
machine learning
information systems
expert systems
small number
learning systems