This document is also available in PDF format.


The Krakatoa Verification Tool
Java programs
Tutorial and Reference Manual

Version 2.34
Claude Marché March 17, 2014
INRIA Team-Project Proval
INRIA Saclay - Île-de-France & LRI, CNRS UMR 8623
4, rue Jacques Monod, 91893 Orsay cedex, France

This document was translated from LATEX by HEVEA.