Abstract
Xaslantest User Manual
by: Jeffrey G. Douglas
Abstract:
Xaslantest is the X-based graphical user interface version of Aslantest, whichis a symbolic execution tool for the formal specification language Aslan.Aslan is a state-based specification language built on first-order predicatecalculus with equality. Aslantest animates Aslan specifications and enablesusers to interactively run specific test cases or symbolically execute thespecification. This document is the user\'s manual for the Xaslantest system,outlining its features and commands.
Keywords:
Symbolic Execution, Specification Animation, Testing, FormalVerification, Software Tools, X-Windows.
Date:
July 1993
Document: 1993-27
