Design Verification of BJUT Library Management System with PVS.

Jingang Niu Shenghui Su

Published in: CIS (2010)

Keyphrases

management system
formal verification
data mining
functional verification
formal methods
computer aided
design decisions
website
data sets
database systems
high level
software engineering
knowledge based systems
design process
case study
conceptual framework
multimedia