Xaslantest User Manual

Report ID: 
1993-27
Authors: 
Jeffrey G. Douglas
Date: 
1993-07-01 05:00:00

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

File 1993-27.ps