Abstract
Aslantest User\'s Manual
by: Jeffrey G. Douglas
Abstract:
Aslantest is a symbolic execution tool for the formal specification languageAslan. Aslan is a state-based specification language built on first-orderpredicate calculus with equality. Aslantest animates Aslan specifications andenables users to interactively run specific test cases or symbolically executethe specification. This document is the user\'s manual for the Aslantestsystem, outlining its features and commands.
Keywords:
Symbolic Execution, Specification Animation, Testing, FormalVerification, Software Tools.
Date:
July 13, 1993
Document: 1993-12
