Ivannikov Institute for System Programming of the RAS


Verification Methodology Based on Algorithmic State Machines and Cycle-Accurate Contract Specifications.

Authors

S. Frenkel, A.Kamkin.

Edition

East-West Design & Test Symposium, September 18-21, 2009, pp. 39-42.

Research Group

Software Engineering

All publications during 2009 All publications