Licenses
Documentation

Software from LASER may be downloaded at no charge after executing a license agreement. Most software developed at LASER is written in Java and requires a current (5.0) Java virtual machine. For more information about available software, click on the links below or contact us at laser-software@cs.umass.edu

Currently Available

FSA Toolkit

A Java toolkit for the creation and manipulation of automata for regular langauges.

Propel

A multi-view, template driven tool for property specification.

SciWalker

A toolset that supports the creation, execution, and validation of scientific processes represented as an analytic web.

Visual-JIL

An editor for Little-JIL process programs.

© 2006 University of Massachusetts Amherst. Site Policies.
This site is maintained by the Laboratory for Advanced Software Engineering Research.