A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications
2012
Procedia Computer Science
This paper presents an educational tool for testing abstract data types implemented in C++ against formal algebraic specifications written in Maude, a formal specification language based on rewriting logic that allows the specification of abstract data types in a clear and concise manner. Maude specifications are executable, which provides two advantages: firstly, we can test our specifications and, secondly, we can obtain the results of the test cases automatically. We focus our test cases on
doi:10.1016/j.procs.2012.04.192
fatcat:yondn25he5ht5c5nqg6wzwk5uu