Abstract
Recently, a refinement calculus called ZRC has been proposed for Z; it follows the style and conventions of the Z notation and is completely formalised. As any other formal technique, however, it needs tool support to be of practical use. In this paper, we present such a tool, which we call ZRC-Refine. It is an interactive tool, whose design makes it distinctively user-friendly. We believe that ZRC-Refine is a significant encouragement to the extended application of ZRC and of Z itself. © Springer-Verlag 2003.
Author supplied keywords
Cite
CITATION STYLE
Freitas, A., Nascimento, C., & Cavalcanti, A. (2003). A refinement tool for Z. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2885, 396–415. https://doi.org/10.1007/978-3-540-39893-6_23
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
