Congu, Checking Java Classes Against Property-Driven Algebraic Specifications
João Abreu, A.D. Caldeira, Antónia Lopes, Isabel Nunes, Luís S. Reis, VASCO THUDICHUM VASCONCELOS · 2007
Congu is a tool that supports the checking of Java classes against property-driven algebraic specifications. This document presents the specification, languages, the tool usage, and its implementation, version 1.32. Chapter 1 describes the two specification languages: the language of abstract data types specifications, and that for defining refinement mappings between these specifications and Java classes. Chapter 2 explains how to install and use Congu tool. And finally, Chapter 3 presents the implementation details of the tool