conftrace_

data-aware dynamic system

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

finite-state abstraction (1) linear-time property (1) finite abstraction (1) model checking (1) formal verification (1)

Papers

Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022