Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B.

Laura I. Meikle Jacques D. Fleuriot

Published in: CAV (2008)

Keyphrases

user centric
theorem prover
communication services
theorem proving
context awareness
cognitive radio networks
personal information
network centric
first order logic
context dependent
model checking
clickstream data
flow management
inference rules
natural deduction
digital content
artificial intelligence