Soundness (interactive proof)

Soundness is a property of interactive proof systems that requires that no prover can make the verifier accept for a wrong statement except with some… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Given an event log describing observed behaviour, process discovery aims to find a process model that ‘best’ describes this… (More)
  • figure 2
  • figure 3
  • figure 4
  • table 1
  • table 2
Is this relevant?
2007
2007
The challenge of finding compositional ways of (formally) developing concurrent programs is considerable. Various forms of rely… (More)
  • figure 1
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
"Adoption" is when on piece of stat is logically embedded in another piece of state. Adoption provides information hiding (the… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Existing work for query processing over graph data models often relies on pre-computing the transitive closure or path indexes… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper, the multi-agent coordination problem is studied. This problem is addressed for a class of robots for which control… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
 
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 3.2
  • figure 3.3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper, the multiagent coordination problem is studied. This problem is addressed for a class of robots for which control… (More)
  • figure 1
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
A method for modular specification and verification using the ideas of subtype and normal type is presented. The method… (More)
Is this relevant?