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

Related topics

Related topics

3 relations
Interactive proof systemProof of knowledgeZero-knowledge proof

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour
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
A Structural Proof of the Soundness of Rely/guarantee Rules
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
Connecting effects and uniqueness with adoption
"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
The logic of proofs, semantically
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
Stack-based Algorithms for Pattern Matching on DAGs
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
A Control Lyapunov Function Approach to Multi-Agent Coordination’
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
Object ownership and containment
 
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 3.2
  • figure 3.3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
A control Lyapunov function approach to multiagent coordination
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
Subtyping Recursive Types
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
Modular specification and verification of object-oriented programs
A method for modular specification and verification using the ideas of subtype and normal type is presented. The method… (More)
Is this relevant?