conftrace_

infinite-state system

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

cover computation (1) linear-time logic (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