Certification of computational results
From MaRDI portal
Publication:4421218
DOI10.1109/12.392843zbMath1053.68519MaRDI QIDQ4421218
Gerald M. Masson, Gregory F. Sullivan, Dwight S. Wilson
Publication date: 1995
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2060/19940031557
68M15: Reliability, testing and fault tolerance of networks and computer systems
68N99: Theory of software
Related Items
AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS, Checker for data structures which sort elements, Certifying algorithms, Efficient authenticated data structures for graph connectivity and geometric search problems, Checking the convexity of polytopes and the planarity of subdivisions