Cousot, Patrick On fixpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics. (English) Zbl 1502.68078 Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 3-18 (2020). MSC: 68N30 68Q55 68Q60 PDFBibTeX XMLCite \textit{P. Cousot}, Lect. Notes Comput. Sci. 12042, 3--18 (2020; Zbl 1502.68078) Full Text: DOI
Shu, Xinfeng; Duan, Zhenhua; Du, Hongwei A decision procedure and complete axiomatization for projection temporal logic. (English) Zbl 1506.03070 Theor. Comput. Sci. 819, 50-84 (2020). MSC: 03B44 03B35 68V20 PDFBibTeX XMLCite \textit{X. Shu} et al., Theor. Comput. Sci. 819, 50--84 (2020; Zbl 1506.03070) Full Text: DOI
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger Fifty years of Hoare’s logic. (English) Zbl 1427.68008 Formal Asp. Comput. 31, No. 6, 751-807 (2019). MSC: 68-03 03B70 68N30 68Q55 PDFBibTeX XMLCite \textit{K. R. Apt} and \textit{E.-R. Olderog}, Formal Asp. Comput. 31, No. 6, 751--807 (2019; Zbl 1427.68008) Full Text: DOI arXiv Link
Furia, Carlo A.; Rossi, Matteo; Mandrioli, Dino; Morzenti, Angelo Automated compositional proofs for real-time systems. (English) Zbl 1116.68049 Theor. Comput. Sci. 376, No. 3, 164-184 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. A. Furia} et al., Theor. Comput. Sci. 376, No. 3, 164--184 (2007; Zbl 1116.68049) Full Text: DOI
Bergstra, J. A.; Tucker, J. V. Hoare’s logic for programming languages with two data types. (English) Zbl 0522.68012 Theor. Comput. Sci. 28, 215-221 (1984). MSC: 68N01 68Q60 68P05 68Q65 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. V. Tucker}, Theor. Comput. Sci. 28, 215--221 (1984; Zbl 0522.68012) Full Text: DOI Link
Bergstra, J. A.; Tucker, J. V. Expressiveness and the completeness of Hoare’s logic. (English) Zbl 0549.68021 J. Comput. Syst. Sci. 25, 267-284 (1982). Reviewer: J.-J.Ch.Meyer MSC: 68Q65 68Q60 03D60 03C35 03B60 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. V. Tucker}, J. Comput. Syst. Sci. 25, 267--284 (1982; Zbl 0549.68021) Full Text: DOI Link