Parameterized Verification with Automatically Computed Inductive Assertions.

Tamarah Arons Amir Pnueli Sitvanit Ruah Jiazhao Xu Lenore D. Zuck

Published in: CAV (2001)

Keyphrases

inductive learning
model checking
knowledge base
inductive reasoning
real time
data sets
machine learning
automatically generated
databases
web pages
knowledge representation
concept learning
face verification
asynchronous circuits
functional verification