Batch checking with applications to linear functions

DOI10.1016/0020-0190(92)90093-BzbMath0780.68092OpenAlexW1972300923MaRDI QIDQ1198028

Ronitt Rubinfeld

Publication date: 16 January 1993

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(92)90093-b

zbMATH Keywords

design of algorithmslinear functionsprogram correctnessbatch checking

Mathematics Subject Classification ID

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

Related Items (1)

Problem identification using program checking

Cites Work

• Checking the correctness of memories
• Designing programs that check their work
• Unnamed Item

This page was built for publication: Batch checking with applications to linear functions