Supporting data for STTT-VVPS 2013 paper

Description

The attached tarball contains domain specifications, experiment notes, and resulting data from the paper "A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans" by Robert P. Goldman and Michael J.S. Pelican and David J. Musliner to appear in the journal Software Tools for Technology Transfer.

Data files

sttt-vvps-public-data.tgz

Last modified: Tue Jun 11 13:29:20 CDT 2013