conftrace_

linear-time property

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

finite abstraction (1) data-aware dynamic system (1) finite-state abstraction (1) model checking (1) formal verification (1)

Papers

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