A.F. Donaldson - TopSPIN Version 2.2. Automatic symmetry reduction for the SPIN model checker. User Manual (798531), страница 8
Текст из файла (страница 8)
Please feelfree to also submit suggestions for features to be added to TopSPIN.6.3Reporting bugs in this manualPlease also get in touch (§6.4) if you find typos, inconsistencies or ambiguities in this manual – this kindof feedback is extremely valuable.6.4Getting in touchAll correspondence related to TopSPIN should be by email, to Alastair Donaldson: ally@codeplay.com.Acknowledgements• TopSPIN was originally developed by Alastair Donaldson at the University of Glasgow, between2003 and 2006.• TopSPIN uses symmetry reduction theory developed by Alastair Donaldson and Alice Miller.This theory is in turn based on a decade of research by the model-checking community.• Thanks to the following people for reporting bugs in TopSPIN, and feedback on the instructionsin this manual: Silver Juurik, Jan Rakow, Shamim Rippon, Iryna Shkvarko.• Thanks to Gerard Holzmann, designer of SPIN, for advice on integrating symmetry reductionwith other SPIN state-space reduction techniques.• The approach taken by the TopSPIN implementation was influenced greatly by the SymmSpintool, developed by Dragan Bosnacki, Denis Dams and Lezek Holenderski.• The manual layout was inspired by the GAP reference manual.• Thanks to the developers of GAP, saucy and SableCC: the development of TopSPIN would havetaken a lot longer without these excellent tools..
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
