Specifying program properties using modal fixpoint logics: a survey of results

DOI10.1007/978-3-662-58771-3_5MaRDI QIDQ2284176zbMATH OpenOpenAlexFDO

Authors Martin Lange

Publication date 14 January 2020

Full work available at URL https://doi.org/10.1007/978-3-662-58771-3_5

Mathematics Subject Classification ID

General logic (03Bxx) Logic in artificial intelligence (68T27)

Recommendations

• Application of modal logics to the specification and verification of programs
• Fixpoint semantics for logic programming a survey
• scientific article; zbMATH DE number 2084327
• scientific article; zbMATH DE number 3982508
• scientific article; zbMATH DE number 2053218
• Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
• Automata-theoretic techniques for modal logics of programs
• Modal Kleene algebra applied to program correctness
• scientific article; zbMATH DE number 3985194
• scientific article; zbMATH DE number 3858391

Cited in

(1)

• The tail-recursive fragment of timed recursive CTL

This page was built for publication: Specifying program properties using modal fixpoint logics: a survey of results

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