VDM specification for the tree-modification method of refutation

MaRDI QIDQ1817122zbMATH OpenFDO

Authors V. S. Protsenko, V. V. Yurchishin

Publication date 14 January 1997

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

formal specificationVDMlogical inferences

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• VDM: Axiomatising its Propositional Logic
• The Method of Tree-Hypersequents for Modal Propositional Logic
• scientific article; zbMATH DE number 683356
• scientific article; zbMATH DE number 595218
• Rules and Refutation Rules for the Logic of Finite n-ary Trees
• Refutation systems in modal logic
• scientific article; zbMATH DE number 2024633
• Tree-like unit refutations in Horn constraint systems
• Hoare's logic and VDM

This page was built for publication: VDM specification for the tree-modification method of refutation

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