×

Software reliability via run-time result-checking. (English) Zbl 0904.68064


MSC:

68N99 Theory of software
68M15 Reliability, testing and fault tolerance of networks and computer systems
PDFBibTeX XMLCite
Full Text: DOI Link