conftrace_

cover computation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

linear-time logic (1) infinite-state system (1) data-aware system (1) automata theory (1) model checking (1) formal verification (1)

Papers

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024