The LASH toolset

What is it?

LASH is a toolset for representing infinite sets and exploring infinite state spaces. It is based on finite-state representations, which rely on finite-state automata for representing and manipulating infinite sets of values over various data domains.

The current version of LASH is beta version 0.92 and consists of The following features are intended to become part of the toolset:

Where can I find it?

The C sources of the LASH toolset are available free of charge for evaluation purposes and educational use. A copy of the most recent version can be downloaded here. After downloading, please consult the installation instructions.

How can I use it?

Documentation and sample programs are available for some components of the package. Additional documentation is available in the source code.


Questions, suggestions and bug reports are welcome. Please send your feedback to Bernard Boigelot.