conftrace_

data-aware system

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model checking (2) formal verification (2) dynamic logic (1) cover computation (1) linear-time logic (1) infinite-state system (1) automata theory (1) first-order logic (1)

Papers

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024 Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017