Verification of a program complex |
| |
Authors: | Bo Sandén |
| |
Affiliation: | (1) Statskonsult Administrationsutveckling AB, Box 4040, S-171 04 Solna, Sweden |
| |
Abstract: | For verification of a complex of programs interacting in a complicated way, the programs can be described asprocesses in astate space. Properties to be verified can be expressed in a similar manner. In this paper such a method is applied to the restart facility of an online database system. |
| |
Keywords: | database lock online process real-time recovery reliability restart state space verification |
本文献已被 SpringerLink 等数据库收录! |