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 |