Application of modal logics to the specification and verification of programs

zbMATH Open0978.68089MaRDI QIDQ2759366

A. S. Anafiev, V. B. Popov

Publication date: 12 December 2001

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

zbMATH Keywords

algorithmsprogrammodal logicstemporal logicssemantic tables

Mathematics Subject Classification ID

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

Related Items (5)

Title not available (Why is that?) ⋮ On pushout consistency, modularity and interpolation for logical specifications ⋮ Title not available (Why is that?) ⋮ Modal Kleene algebra applied to program correctness ⋮ Specifying program properties using modal fixpoint logics: a survey of results

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)