Article VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SPIN VERIFIER Лукин М. А., Shalyto Anatoly Abramovich
Article DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS Kirill Egorov, Shalyto Anatoly Abramovich
Article РАЗРАБОТКА КОРРЕКТНЫХ JAVA CARD-ПРОГРАММ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА Клебанов А. А., Shalyto Anatoly Abramovich
Article DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH Клебанов А. А., Shalyto Anatoly Abramovich
Article VERIFICATION OF INTERACTION OF PARTS OF A REACTIVE SYSTEM IMPLEMENTED USING AUTOMATA-BASED APPROACH Sergey Kanzhelev