C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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