Address
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Software Engineering Department / Microprocessor Verification Group
25, Alexander Solzhenitsyn street, Moscow, 109004, Russia, office 211
http://www.ispras.ru
Tel.: +7 (495) 912 5317 (ext. 443)
Fax: +7 (495) 912 1524
E-mail: microtesk-support@ispras.ru