conftrace_

liveness property

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (2) situation calculus (1) liveness properties (1) mathematical induction (1) goal achievability (1) correctness verification (1) cluster management (1) temporal logic (1) automated reasoning (1) knowledge representation (1)

Papers

Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024 Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020