Dear Spiral User, we appreciate your patience during this upgrade which is to benefit our userbase, improve their experience in Spiral, introduce improvements, fixes and maintaining our versioning for future updates. Please note if you encounter any issues in Spiral, please raise a ticket to Research Applications team providing as much detail as possible in order to help us resolve your query. Again, we thank you for your patience and support during the upgrade. Kind Regards, Spiral Upgrade Team.
 
Etch: An Enhanced Type Checking Tool for Promela.
File(s)
spin_2005_final.pdf (362.66 KB)
Accepted version
Author(s)
Donaldson, AF
Gay, SJ
Type
Conference Paper
Editor(s)
Godefroid, P
Date Issued
2005-12-31
URI
DOI
ISBN
3-540-28195-9
Publisher
Springer
Start Page
266
End Page
271
Journal / Book Title
SPIN
Volume
3639
Copyright Statement
© Springer-Verlag Berlin Heidelberg 2005. The final publication is available at link.springer.com
Copyright URL
Description
27.06.14 KB. Ok to add accepted version to Spiral, 12 months embargo elapsed
Identifier
http://www.informatik.uni-trier.de/~ley/db/conf/spin/spin2005.html
Publisher URL