1 citations
2 papers
cs.LO2004
Incompleteness of States w.r.t. Traces in Model Checking
Roberto Giacobazzi, Francesco Ranzato
Cousot and Cousot introduced and studied a general past/future-time specification language, called mu*-calculus, featuring a natural time-symmetric trace-based semantics. The stand…
cs.PL2003★ 1 cited
Inferring Termination Conditions for Logic Programs using Backwards Analysis
Samir Genaim, Michael Codish
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalises traditional termination analysis where an analyser tries to veri…