A unified approach of program verification
The subject of this paper is a program verification method that takes into account abortion caused by partial functions in program statements. In particular, boolean expressions of various statements will be investigated that are not well-defined. For example, a loop aborts if its execution begins i...
| Main Authors: | , |
|---|---|
| 格式: | 文件 |
| 语言: | English |
| 出版: |
Scientia Publishing House
2017-07-01
|
| 丛编: | Acta Universitatis Sapientiae: Informatica |
| 主题: | |
| 在线阅读: | https://doi.org/10.1515/ausi-2017-0005 |