LOGICS OF PROGRAMS: AXIOMATICS AND DESCRIPTIVE POWER
D. Harel · DSpace@MIT (Massachusetts Institute of Technology) · 1978
This thesis is concerned with the development of mathematical tools for reasoning about computer programs. The approach is to design and investigate the properties of various dynamic logics with an emphasis on useful expressive power and adequate proof theory.