Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Using Model Checking with Symbolic Execution to Verify Parallel Numerical Programs
 

Summary: Using Model Checking with Symbolic Execution to Verify
Parallel Numerical Programs
Stephen F. Siegel
Dept. of Computer Science
University of Massachusetts
Amherst, MA 01003
siegel@cs.umass.edu
Anastasia Mironova
School of Computing
University of Utah
Salt Lake City, UT 84112
mironova@sci.utah.edu
George S. Avrunin and Lori A. Clarke
Dept. of Computer Science
University of Massachusetts
Amherst, MA 01003
{avrunin,clarke}@cs.umass.edu
ABSTRACT
We present a method to verify the correctness of parallel
programs that perform complex numerical computations,

  

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

 

Collections: Mathematics