Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Some Observations About Using SPIN and STeP to Verify StAC Specifications
 

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

  

Source: Augusto, Juan Carlos - School of Computing and Mathematics, University of Ulster at Jordanstown

 

Collections: Computer Technologies and Information Sciences