Completeness problems in verification of programs and program schemes. (English) Zbl 0411.03017
Mathematical foundations of computer science, Proc. 8th Symp., Olomouc/Czech. 1979, Lect. Notes Comput. Sci. 74, 208-218 (1979).
MSC:
| 03B45 | Modal logic (including the logic of norms) |
| 03B60 | Other nonclassical logic |
| 68Q65 | Abstract data types; algebraic specification |
| 68W99 | Algorithms in computer science |
| 68N01 | General topics in the theory of software |
| 68Q60 | Specification and verification (program logics, model checking, etc.) |
| 03C90 | Nonclassical models (Boolean-valued, sheaf, etc.) |
| 03C95 | Abstract model theory |
