StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java.

Jesús Mauricio Chimento Wolfgang Ahrendt Gordon J. Pace Gerardo Schneider

Published in: RV (2015)

Keyphrases

open source
database
model checking
byte code
source code
neural network
information retrieval
search engine
object oriented
programming language
software tools
java programs