On Temporal and Separation Logics
From MaRDI portal
Publication:5079764
DOI10.4230/LIPIcs.TIME.2018.1zbMath1487.68080OpenAlexW2990336109MaRDI QIDQ5079764
Publication date: 28 May 2022
Full work available at URL: https://hal.science/hal-02366656
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the almighty wand
- Reasoning about sequences of memory states
- Expressiveness and complexity of graph logic
- The effects of adding reachability predicates in propositional separation logic
- Decidable and undecidable logics with a binary modality
- Expressiveness and completeness of an interval tense logic
- The semantics and proof theory of the logic of bunched implications
- Viper: A Verification Infrastructure for Permission-Based Reasoning
- A Simple Separation Logic
- Quantified CTL: Expressiveness and Complexity
- Two-Variable Separation Logic and Its Inner Circle
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives
- Scalable Shape Analysis for Systems Code
- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
- Separating Graph Logic from MSO
- A Modal Logic for Chopping Intervals
- The Logic of Bunched Implications
- Separation logics and modalities: a survey
- A decision procedure for satisfiability in separation logic with inductive predicates
- The Expressive Power of Modal Dependence Logic
- The Tree Width of Separation Logic with Recursive Definitions
- BI as an assertion language for mutable data structures
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
- Compositional Shape Analysis by Means of Bi-Abduction
- Parametric completeness for separation theories
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- An axiomatic basis for computer programming
- Foundations of Software Science and Computational Structures
- Tools and Algorithms for the Construction and Analysis of Systems