Search by keyword: "verification"
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 | |