1411 search results - page 12 / 283 » Interactive Coding for Interactive Proofs |
STOC
2000
ACM
2000
ACM
Parallelization, amplification, and exponential time simulation of quantum interactive proof systems
14 years 2 months ago
COCO
2008
Springer
14 years 20 days ago
2008
Springer
FOCS
2008
IEEE
13 years 12 months ago
2008
IEEE
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are u...
AICOM
2010
13 years 11 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
JUCS
2008
13 years 11 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...