Application of modal logics to the specification and verification of programs

MaRDI QIDQ2759366zbMATH OpenFDO

Authors V. B. Popov, A. S. Anafiev

Publication date 12 December 2001

Published in Dinamicheskie Sistemy (Simferopol') (Search for Journal in Brave)

zbMATH Keywords

algorithmsmodal logicstemporal logicsprogramsemantic tables

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3982508
• scientific article; zbMATH DE number 4055577
• Application of temporal logic to program specification
• scientific article; zbMATH DE number 47403
• scientific article; zbMATH DE number 3924132

Cited in

(13)

• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 4118343 (Why is no real title available?)
• scientific article; zbMATH DE number 3982508 (Why is no real title available?)
• scientific article; zbMATH DE number 4055577 (Why is no real title available?)
• scientific article; zbMATH DE number 3924132 (Why is no real title available?)
• Verification of temporal properties of nondeterministic algorithms
• Modal Kleene algebra applied to program correctness
• Operational semantics and program verification using many-sorted hybrid modal logic
• On pushout consistency, modularity and interpolation for logical specifications
• scientific article; zbMATH DE number 4085007 (Why is no real title available?)
• Specifying program properties using modal fixpoint logics: a survey of results
• Specification and Development of Interactive Systems
• scientific article; zbMATH DE number 2144768 (Why is no real title available?)

This page was built for publication: Application of modal logics to the specification and verification of programs

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