Aslantest User's Manual

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.