|
|||||
|
|
Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems |
|
| Authors: | S. N. Baranov V. A. Volkov A. B. Godlevskii Yu. V. Kapitonova A. A. Letichevsky |
| Affiliation: | (1) Closed Corporation "Motorola,", St. Petersburg, Russia;(2) National Academy of Sciences of Ukraine, Cybernetics Institute, Kiev, Ukraine |
| Abstract: | An approach to the verification of requirements is presented. A formal requirement language is described and the properties to be checked are formulated. A scheme for proving some important dynamic properties is developed. |
| Keywords: | consistency of requirements on programs theorem proving prover |
| 本文献已被 SpringerLink 等数据库收录！ | |