Towards Verification of Java Bytecode using Logic Programming Tools

@inproceedings{Albert2006TowardsVO,
  title={Towards Verification of Java Bytecode using Logic Programming Tools},
  author={Elvira Albert and Miguel G{\'o}mez-Zamalloa and Laurent Hubert and Germ{\'a}n Puebla},
  year={2006}
}
State of the art analyzers in the (Constraint) Logic Programming paradigm (or (C)LP for short) are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, run-time error freeness, bounds on resource consumption, etc. The aim of this work is to automatically transfer the power of such analysis tools… CONTINUE READING