Flexible and Extensible Runtime Verification for Java.

Chengcheng Xiang Zhengwei Qi Walter Binder

Published in: SEKE (2015)

Keyphrases

object oriented
lightweight
highly flexible
byte code
model checking
open source
data model
programming language
java card
source code
web services
face verification
formal verification
distributed object
web applications
data sets
markup language
real time
java virtual machine
database