Report ID
1993-27
Report Authors
Jeffrey G. Douglas
Report Date
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.
Document
1993-27.ps98.08 KB