CTL* model checking for data-aware dynamic systems with arithmetic
From MaRDI portal
Publication:2104496
DOI10.1007/978-3-031-10769-6_4OpenAlexW4289104017MaRDI QIDQ2104496FDOQ2104496
Marco Montali, Paolo Felli, Sarah Winkler
Publication date: 7 December 2022
Full work available at URL: https://arxiv.org/abs/2205.08976
Cites Work
- 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?)
- An automata-theoretic approach to constraint LTL
- Process-centric views of data-driven business artifacts
- Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints
- Balanced multi-perspective checking of process conformance
- Deciding properties of integral relational automata
- An Automata-based Approach for CTL⋆ With Constraints
- Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints
- Verification of qualitative \(\mathbb Z\) constraints
- Model-checking CTL* over flat Presburger counter systems
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
- Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
- Iterating Octagons
- Decision procedures. An algorithmic point of view
- LTL over integer periodicity constraints
- Cover Algorithms and Their Combination
- Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions
- Model-checking graded computation-tree logic with finite path semantics
- Verification of gap-order constraint abstractions of counter systems
- Equivalence between model-checking flat counter systems and Presburger arithmetic
- Branching-Time Model Checking Gap-Order Constraint Systems
Cited In (1)
Uses Software
This page was built for publication: CTL* model checking for data-aware dynamic systems with arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104496)
