Search by keyword: "model checking"
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 | |
Synthetic Software Verification Method using SMT-Solvers
| Authors: Rudakov I.V., Gurin R.E. | Published: 12.08.2016 |
| Published in issue: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-49-64 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: verification, code analysis, static analysis, dynamic analysis, interpretation, symbolic execution, model checking | |