scientific article; zbMATH DE number 176732

MaRDI QIDQ4036561zbMATH OpenFDO

Authors Sampath Kannan, Andrew Chi-Chih Yao

Publication date 18 May 1993

zbMATH Keywords

program checkingprobabilistic programcorrectness of program output

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Designing programs that check their work
• Verification of Probabilistic Programs
• Does a Program Yield the Right Distribution?
• scientific article; zbMATH DE number 4195192
• Spot-checkers

Cited in

(5)

• Efficient checkers for number-theoretic computations
• scientific article; zbMATH DE number 1919505 (Why is no real title available?)
• Does a Program Yield the Right Distribution?
• Program result checking: a new approach to making programs more reliable
• Pipelined algorithms to detect cheating in long-term grid computations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4036561)