The Krakatoa Verification Tool
for Java programs
Tutorial and Reference Manual
Version 2.34
Claude Marché
March 17, 2014
INRIA Team-Project
Proval http://proval.lri.fr
INRIA Saclay - Île-de-France & LRI, CNRS UMR 8623
4, rue Jacques Monod, 91893 Orsay cedex, France