Coq Implementation of OO Verification Framework VeriJ.

Ke Zhang Zongyan Qiu

Published in: SEFM (2016)

Keyphrases

main contribution
databases
genetic algorithm
theoretical framework
formal methods
database
data mining
case study
expert systems
programming language
lightweight
object oriented databases
change management
java language