Summary: Property Specification Patterns for Finite-State Verification*
Matthew B. Dwyer George S. Avrunin
Kansas State University University of Massachusetts
Department of Computing Department of Mathematics
and Information Sciences and Statistics
234 Nichols Hall Box 34515
Manhattan, KS 66506-2302 Amherst, MA 01003-4515
dwyerQcis. ksu.edu avrunin@math.umass.edu
James C. Corbett
University of Hawai'i
Department of Information
and Computer Science
Honolulu, HI 96822
corbettQhawaii.edu
ABSTRACT
Finite-state verification (e.g., model checking)
provides a powerful means to detect errors that
are often subtle and difficult to reproduce. Nev-
ertheless, the transition of this technology from
research to practice has been slow. While there

Source: Avrunin, George S. - Department of Mathematics and Statistics, University of Massachusetts at Amherst

Collections: Mathematics