Automated RTL Verification Based on Predicate Calculus.

Michel Langevin

Published in: CAV (1990)

Keyphrases

predicate calculus
formal model
first order logic
semantic network
theorem proving
lambda calculus
predicate logic
proof procedure
model checking
semantic net
general purpose
machine learning
natural language
expert systems
object oriented
programming language