Search by keyword: "verification"
The Semi-Markov Model Process of Operation Primary Measuring Transducers of Complexes with the Possibility of Carrying out Their Checks in Different Ways
| Authors: Kuvykin Yu.А., Minagureev N.A., Suprunyuk V.V., Khayrullin R.Z. | Published: 21.01.2026 |
| Published in issue: #4(153)/2025 | |
| DOI: | |
| Category: Instrument Engineering, Metrology, Information-Measuring Instruments and Systems | Chapter: Metrology and Measurement Assurance | |
| Keywords: semi-Markov model, measuring equipment, verification, availability coefficient, reliability coefficient, transition probability matrix | |
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 | |
Scaling of Algorithms for Automatic Generation of Modular Texts
| Authors: Rudakov I.V., Rebrikov A.V. | Published: 01.09.2013 |
| Published in issue: #4(85)/2011 | |
| DOI: | |
| Category: Brief Communication | |
| Keywords: testing, automatic text generation, verification, scaling of algorithms | |