Implementation and Examples
Heinrich Hußmann · Birkhäuser Boston eBooks · 1993
For the practical use of a specification language, algorithmic support is essential. Software tools can be used for instance to test a given specification against informal requirements, to generate test data for an implementation, or to generate (semi-)automatically formal proofs for propositions over a specification. Below it is shown that existing tools for term rewriting can be used for experiments with nondeterministic specifications.