The Krakatoa tool for JML/Java program certification. Available at http://krakatoa.lri.fr (2003)

by C Marché, C Paulin, X Urbain