Search by keyword: "static analysis"
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 | |
Heuristic analysis of source code security
| Authors: Markov A.S. , Matveev V.A. , Fadin A.A., Tsirlov V.L. | Published: 19.02.2016 |
| Published in issue: #1(106)/2016 | |
| DOI: 10.18698/0236-3933-2016-1-98-111 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Methods and Systems of Information Protection, Information Security | |
| Keywords: information security, software security, testing, static analysis, production models, heuristic analysis, vulnerabilities, defects, undeclared capabilities | |
Static analysis techniques for electrohydraulic control actuators of rocket packs
| Authors: Belonogov O.B. | Published: 12.10.2015 |
| Published in issue: #5(104)/2015 | |
| DOI: 10.18698/0236-3933-2015-5-18-29 | |
| Category: Aviation, Rocket and Space Engineering | Chapter: Control and Testing of Aircrafts and their Systems | |
| Keywords: static analysis, control actuator, numerical integration, nonlinear differential equations | |