Application of modal logics to the specification and verification of programs

zbMATH Open0978.68089MaRDI QIDQ2759366FDOQ2759366

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

Publication date: 12 December 2001

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

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

zbMATH Keywords

algorithmsmodal logicstemporal logicsprogramsemantic tables

Mathematics Subject Classification ID

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

Cited In (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Specifying program properties using modal fixpoint logics: a survey of results
• Specification and Development of Interactive Systems
• Title not available (Why is that?)

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)