conftrace_

liveness properties

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (2) mathematical induction (1) goal achievability (1) situation calculus (1) boolean formula (1) liveness property (1) stateful network function (1) network verification (1) automated reasoning (1) knowledge representation (1)

Papers

Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020 Liveness Verification of Stateful Network Functions NSDI 2020