| | |
Summary: Some Observations About Using
SPIN and STeP to Verify StAC Specifications
Juan C. Augusto Michael J. Butler
{jca, mjb}@ecs.soton.ac.uk
Declarative Systems and Software Engineering Group
Technical Report DSSE-TR-2002-9
October 2002
www.dsse.ecs.soton.ac.uk/techreports
Department of Electronics and Computer Science
University of Southampton
Southampton SO17 1BJ, United Kingdom
1
Some Observations About Using
SPIN and STeP to Verify StAC Specifications
Juan C. Augusto Michael J. Butler
Declarative Systems and Software Engineering Research Group
Department of Electronics and Computer Science
University of Southampton
Southampton, United Kingdom
July 14, 2003
|
