Home
Static Analysis
FLAVERS
PROPEL
Finite-State Verification
Property Specification
Fault-Tree Analysis
Failure Mode and Effect Analysis
MPI Verification
INCA
Experimentation
Publications
Process Programming and Workflow
Little-JIL
Process Interpretation
Resource Management
Process Simulation
Process Analysis
Evaluation
Publications
Case Studies
Medical Safety
Elections
Scientific Workflow
Online Dispute Resolution
Digital Government
Publications
Software Development
Component-Based Software Engineering
Arcadia
Software Development Environments
Publications
Electronic Enterprise Institute
Publications
Other Laboratory Information
All Publications
What's New...
Impact Project
Licensed Software
Open Source Software
LASER Wiki
Bug Tracking
Contact Us

Welcome to LASER

The Laboratory for Advanced Software Engineering Research (LASER) is a research lab in the School of Computer Science at the University of Massachusetts Amherst. LASER is dedicated to investigating techniques for reducing software development and maintenance costs while simultaneously improving the quality of the systems produced. LASER is aggressively attacking the problem of assuring the quality of software. Modern systems are increasingly dependent upon software which is becoming increasingly complex. The growing size of such systems, and their increasing reliance upon such features as concurrency and distribution creates new concerns and challenges.

LASER research centers on the use of finite state verification of concurrent and distributed systems to assure that these systems must adhere to key properties for all possible executions. We are developing systems that are computationally tractable, easy to use, and applicable to wide classes of properties.

LASER's particular interests are in developing techniques, tools, and processes to support the most challenging kinds of systems: those with high reliability requirements, running on highly distributed platforms, using heterogeneous tools, and perhaps developed in geographically dispersed environments.


[an error occurred while processing this directive]
 

This site is maintained by the Laboratory for Advanced Software Engineering Research.
© 2013 University of Massachusetts AmherstSite Policies