scientific article; zbMATH DE number 5148400

MaRDI QIDQ3434483zbMATH OpenFDO

Authors

Publication date 2 May 2007

zbMATH Keywords

game-theoretic semanticsmodel checkingreachabilitysecond-order elementary propositional dynamic logic

Mathematics Subject Classification ID

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

Recommendations

• A proof theory for model checking: an extended abstract
• scientific article; zbMATH DE number 140397
• scientific article; zbMATH DE number 88991
• Bounded model checking and induction: From refutation to verification (extended abstract, Category A)
• A proof theory for model checking
• Reachability as derivability, finite countermodels and verification
• Proving the refuted: symbolic model checkers as proof generators
• scientific article; zbMATH DE number 1834576
• Model Checking: From Tools to Theory

Cited in

(3)

• scientific article; zbMATH DE number 2084327 (Why is no real title available?)
• Reachability logic: an efficient fragment of transitive closure logic
• A proof theory for model checking: an extended abstract

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