Pluggable verification modules: an extensible protection mechanism for the JVM.

Philip W. L. Fong

Published in: OOPSLA (2004)

Keyphrases

data model
markup language
formal verification
database systems
object oriented
computational model
application specific
garbage collection
modular structure
databases
software engineering
context aware
building blocks
model checking
highly flexible