2. B e n s a l e m S. and H a v e l u n d K. Dynamic deadlock analysis of multi-
threaded programs // Shmuel Ur, Eyal Bin, and Yaron Wolfsthal, editors, Haifa
Verification Conference. – 2005. – Vol. 3875. – P. 208.
3. D e t l e f s D. L., R u s t a n K., L e i n o M., N e l s o n G. and S a x e J. B.
Extended static checking. Technical Report 159, Compaq Systems Research Center,
Palo Alto, California, USA, 1998.
4. E n g l e r D. and A s h c r a f t K. RacerX: Effective, static detection of race
conditions and deadlocks // Proc. of the 19th ACM Symposium on Operating Systems
Principles. – 2003. – P. 237–252.
5. H a v e l u n d K. and P r e s s b u r g e r T. Model Checking Java programs using
Java PathFinder // International J. on Software Tools for Technology Transfer, 2(4):
366–381, April 2000. Special issue of STTT containing selected submissions to the
4th SPIN workshop, Paris, France, 1998.
6. A r t h o C. and B i e r e A. Applying static analysis to large-scale, multi-threaded
Java programs // D. Grant, editor, 13th Australien Software Engineering Conference,
pages 68–75. IEEE Computer Society, August 2001.
7. К л а р к Э., Г р а м б е р г О., П е л е д Д. Верификация моделей программ:
Model Checking. – М.: МНЦМО, 2002.
8. К а р п о в Ю. MODEL CHECKING. Bерификация параллельных и распреде-
ленных программных систем. – СПб.: БХВ-Петербург, 2010.
9. H o l z m a n n G. Design and validation of computer protocols // Prentice Hall,
1991.
10. L a m p o r t L. Specifying systems: The TLA+ language and tools for Hardware
and Software Engineers // Addison-Wesley, 2002.
Статья поступила в редакцию 15.12.2011
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
121
1,2,3,4,5,6,7,8,9 10