✦ LIBER ✦

Proof rules for the correctness of quantum programs

✍ Scribed by Yuan Feng; Runyao Duan; Zhengfeng Ji; Mingsheng Ying

Book ID: 108281339
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 350 KB
Volume: 386
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2007.06.011

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof method of partial correctness and

Proof method of partial correctness and weak completeness for normal logic programs

✍ Gérard Ferrand; Pierre Deransart 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 951 KB

The correctness of programs

✍ Zohar Manna 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 301 KB

This paper is concerned with the relationship between the correctness of programs and the satisfiability (or unsatisfiability) of certain formulas of the first-order predicate calculus. Results on the equivalence of programs are also included. \* The research reported here was supported in part by t

Models of sets of sequences and the proo

Models of sets of sequences and the proof of the correctness of programs

✍ S.A. Abramov 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 377 KB

Correctness proofs of CSP programs

✍ N. Soundararajan 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 948 KB

Correctness proof for the majority conse

Correctness proof for the majority consensus algorithm

✍ A. Ravichandran; R.K. Shyamasundar 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 781 KB

Program testing versus proofs of correct

Program testing versus proofs of correctness

✍ William E. Howden 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 675 KB