Verification Methodology Based on Algorithmic State Machines and Cycle-Accurate Contract Specifications
Verification Methodology Based on Algorithmic State Machines and Cycle-Accurate Contract Specifications. Sergey Frenkel 1 and Alexander Kamkin 2 1 Institute of Informatics Problems of the Russian Academy of Sciences 30/6, Vavilov Street, Moscow, 117900, Russia E-mail: fsergei@mail.ru
481 views • 23 slides