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