All Publications

Static Analysis

FLAVERS

PROPEL

Finite-State Verification

Property Specification

Fault-Tree Analysis

Failure Mode and Effect Analysis

MPI Verification

INCA

Experimentation »

Process Programming and Workflow [...]

Software Development [...]

Case Studies [...]

Electronic Enterprise Institute

---

Jump To:

2008

2006

2004

2001

1999

1996

1995

LASER Publications

Experimentation

by Corina S. Pasareanu

 1999

Comparing Finite-State Verification Techniques for Concurrent Software

George S. Avrunin, James C. Corbett, Matthew B. Dwyer, Corina S. Pasareanu, Stephen F. Siegel, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, November 1999. (UM-CS-1999-069)

[ PostScript ] [ PDF ]

Notice: We present this material to ensure timely and wide dissemination of our work. All persons copying this material must adhere to the terms of the relevant copyrights

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