Automatic Deductive Verification with Invisible Invariants.

Amir Pnueli Sitvanit Ruah Lenore D. Zuck

Published in: TACAS (2001)

Keyphrases

hypothesis formation
object oriented
website
semi automatic
fully automatic
formal verification
computer vision
expert systems
logic programs
model checking
database languages