conftrace_

sat-based technique

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

on-the-fly construction (1) automaton construction (1) on-the-fly synthesis (1) finite trace (1) deterministic finite automaton (1) linear temporal logic (1) ltlf synthesis (1) formal verification (1)

Papers

On-the-fly Synthesis for LTL over Finite Traces AAAI 2021