Article

METHODS OF AUTOMATA-BASED PROGRAMS VERIFICATION

Sergey Velder, Shalyto Anatoly A.

Article

VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SMV TOOL

Article

VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SPIN VERIFIER

Лукин М. А., Shalyto Anatoly A.

Article

VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH UNIMOD.VERIFIER TOOL

Vadim Gurov, Bulat Jaminov

Article

DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS

Kirill Egorov, Shalyto Anatoly A.

Article

APPLICATION OF AUTOMATA-BASED APPROACH FOR JAVA CARD-APPLICATIONS DEVELOPMENT

Andrey Zakonov

Article

РАЗРАБОТКА КОРРЕКТНЫХ JAVA CARD-ПРОГРАММ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА

Клебанов А. А., Shalyto Anatoly A.

Article

DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH

Клебанов А. А., Shalyto Anatoly A.

Article

VERIFICATION OF INTERACTION OF PARTS OF A REACTIVE SYSTEM IMPLEMENTED USING AUTOMATA-BASED APPROACH

Sergey Kanzhelev