Implementation and Examples
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.
KeywordsDirected Acyclic Graph Input Symbol Ground Term Classical Term Generate Test Data
Unable to display preview. Download preview PDF.