Login / Signup
Tabulation-based Induction Proofs with Application to Automated Verification.
Abhik Roychoudhury
C. R. Ramakrishnan
I. V. Ramakrishnan
Scott A. Smolka
Published in:
TAPD (1998)
Keyphrases
</>
automated verification
model checking
application specific
databases
case study
probabilistic reasoning
real time
data mining
social networks
optimization problems
np complete