Sergey . Velder

Work place: ITMO University
Post: Postgraduate
Degree: магистр прикладной математики и информатики
E-mail: velder@rain.ifmo.ru
Velder S. ., Shalyto A. A. MODEL CHECKING AUTOMATA-BASED PROGRAMS USING REDUCED TRANSITION GRAPH CONSTRUCTION
The article was published in issue №6, volume 09, 2009
Velder S. ., Shalyto A. A. METHODS OF AUTOMATA-BASED PROGRAMS VERIFICATION
The article was published in issue №8, volume 08, 2008
Velder S. ., Shalyto A. A. ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING
The article was published in issue №8, volume 07, 2007
Copyright 2001-2018 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика