Logical Frameworks as a Basis for Verification Tools: A Case Study.

Ina Kraan Peter Baumann

Published in: KBSE (1995)

Keyphrases

software tools
case study
building blocks
model checking
test bed
formal methods
data sets
user friendly
database
databases
information retrieval
decision making
description logics
formal verification
verification method