Search by keyword: "formal method"
Method of Constructing Abstract Models for Protocol Verification of Cache Coherence in Scalable Systems
| Authors: Burenkov V.S., Ivanov S.R. | Published: 14.02.2017 |
| Published in issue: #1(112)/2017 | |
| DOI: 10.18698/0236-3933-2017-1-49-66 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
| Keywords: formal method, model checking, model transformations, cache coherence protocol | |