| |
Лисица, А.
Верификация как параметризованное тестирование (эксперименты с суперкомпилятором SCP4) [Текст] / А. Лисица, А. Немытых
// Программирование. – 2007. – № 1. – 22-34.
В данной статье описаны эксперименты по автоматической верификации некоторых cache coherence протоколов посредством суперкомпилятора SCP4 |
