The use of contract specifications for representing requirements and for functional testing of hardware models

DOI10.1134/S0361768807050039zbMath1154.68442WikidataQ62038629 ScholiaQ62038629MaRDI QIDQ927452

V. P. Ivannikov, A. S. Kamkin, A. S. Kossatchev, V. V. Kuliamin, A. K. Petrenko

Publication date: 9 June 2008

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68M99: Computer system organization

Related Items

Using abstract models for the generation of test data with a complex structure

Uses Software

• UniTESK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item