Semantic properties of monotone Floyd-Hoare logics

MaRDI QIDQ2850296zbMATH OpenFDO

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)

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)

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

Cited in

(3)

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

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)