scientific article; zbMATH DE number 3982508

MaRDI QIDQ3746877zbMATH OpenFDO

Authors Shitie Wang

Publication date 1985

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Application of modal logics to the specification and verification of programs
• scientific article; zbMATH DE number 4055577
• scientific article; zbMATH DE number 3924132
• scientific article; zbMATH DE number 1497823
• scientific article; zbMATH DE number 4081516

Cited in

(13)

• Operational semantics and program verification using many-sorted hybrid modal logic
• Modal Kleene algebra applied to program correctness
• Specifying program properties using modal fixpoint logics: a survey of results
• Application of modal logics to the specification and verification of programs
• Modal logics for cryptographic processes
• Logics of Modal Terms for Systems Specification
• scientific article; zbMATH DE number 3924132 (Why is no real title available?)
• scientific article; zbMATH DE number 4055577 (Why is no real title available?)
• scientific article; zbMATH DE number 2079039 (Why is no real title available?)
• scientific article; zbMATH DE number 2144768 (Why is no real title available?)
• A many-sorted polyadic modal logic
• Back and forth between guarded and modal logics
• The trace modality

This page was built for publication:

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