Semantic properties of monotone Floyd-Hoare logics

zbMATH Open1289.03022MaRDI QIDQ2850296FDOQ2850296

Authors: M. S. Nikitchenko, A. V. Kryvolap 

Publication date: 26 September 2013

Published in: Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka (Search for Journal in Brave)

Recommendations

• Inference system with T-constraints and F-constrains for monotone Floyd-Hoare logic
• Semantical analysis of specification logic. II
• Composition of preimage condition construction in monotone Floyd-Hoare logics
• An inference system of an extension of Floyd-Hoare logic for partial predicates
• Floyd-Hoare logic in iteration theories

zbMATH Keywords

program logicpartial predicatescomposition-nominative approach

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Cited In (3)

• A general framework for sound and complete Floyd-Hoare logics
• Composition of preimage condition construction in monotone Floyd-Hoare logics
• Inference system with T-constraints and F-constrains for monotone Floyd-Hoare logic

This page was built for publication: Semantic properties of monotone Floyd-Hoare logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2850296)