Sign in

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

Jesús Mauricio ChimentoWolfgang AhrendtGordon J. PaceGerardo 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