scientific article

zbMATH Open0665.68008MaRDI QIDQ3816961FDOQ3816961

Author name not available (Why is that?)

Publication date: 1988

Title of this publication is not available (Why is that?)

zbMATH Keywords

dynamic logicprogram verificationKarlsruhe interactive verifier

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (6)

• Verification logic
• Program Verification with Separation Logic
• Tableaux for constructive concurrent dynamic logic
• Verification for everyone? An overview of dynamic logic
• A dynamic logic for QASM programs
• Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic

Recommendations

• Verification of logic programs 👍 👎
• Program verification by coinduction 👍 👎
• Program Verification with Separation Logic 👍 👎
• 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?) 👍 👎
• Title not available (Why is that?) 👍 👎

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