tool algebraic
Developing and Debugging Algebraic Specifications for Java Classes
White Paper To address the practical difficulties with formal specifications, this paper describes and evaluates a tool to help programmers write and debug algebraic specifications. Given an... [01 Feb 2009]