Papers

Alastair F. Donaldson, Simon J. Gay. ETCH: An Enhanced Type Checking Tool for Promela. In Proceedings of the 12th International SPIN Workshop on Model Checking Software (SPIN'05), Lecture Notes in Computer Science 3693, pages 226-271. Springer, 2005.

Bibtex:

@inproceedings{DonaldsonG_SPIN2005,
   title      = {{ETCH}: An Enhanced Type Checking Tool for {Promela}},
   author     = {Alastair F. Donaldson and Simon J. Gay},
   booktitle  = {Proceedings of the 12th International SPIN Workshop
                 on Model Checking Software (SPIN'05)},
   series     = {Lecture Notes in Computer Science},
   volume     = {3693},
   pages      = {226-271},
   publisher  = {Springer},
   year       = {2005}
}