Cardinalities and universal quantifiers for verifying parameterized systems.

Klaus von Gleissenthall Nikolaj Bjørner Andrey Rybalchenko

Published in: PLDI (2016)

Keyphrases

knowledge base
expert systems
systems require
real time
clustering algorithm
three dimensional
database systems
data model
intelligent systems
knowledge based systems
learning systems