Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Property Specification Patterns for Finite-State Verification* Matthew B. Dwyer George S. Avrunin
 

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