scientific article; zbMATH DE number 4047196

MaRDI QIDQ3783632zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

dynamic logicdynamic reasoninginteractive verification systemrule validation

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 4101151
• scientific article; zbMATH DE number 4024753
• Dynamic logic with trace semantics
• scientific article; zbMATH DE number 107898
• scientific article; zbMATH DE number 1556014

Cited in

(6)

• Verification of dynamic bisimulation theorems in Coq
• Tableaux for constructive concurrent dynamic logic
• Expander2: program verification between interaction and automation
• scientific article; zbMATH DE number 4101151 (Why is no real title available?)
• scientific article; zbMATH DE number 107898 (Why is no real title available?)
• Verification for everyone? An overview of dynamic logic

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 Q3783632)