scientific article; zbMATH DE number 1765704

MaRDI QIDQ4539645zbMATH OpenFDO

Authors Bernhard Beckert, Steffen Schlager

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830626

Mathematics Subject Classification ID

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

Recommendations

• Dynamic logic with trace semantics
• A dynamic logic with traces and coinduction
• Sequential dynamic logic
• scientific article; zbMATH DE number 4008371
• scientific article; zbMATH DE number 1678381

Cited in

(10)

• A deductive approach towards reasoning about algebraic transition systems
• A system for compositional verification of asynchronous objects
• Behavioral program logic
• Tableau reasoning and programming with dynamic first order logic
• A dynamic logic with traces and coinduction
• High-Level Programs and Program Conditions
• Dynamic logic with trace semantics
• A dynamic logic with branching modalities
• The trace modality
• A sequent calculus for propositional dynamic logic for agents with interactions

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