Certification of computational results. (English) Zbl 1053.68519
MSC:
68M15 | Reliability, testing and fault tolerance of networks and computer systems |
68N99 | Theory of software |
68M15 | Reliability, testing and fault tolerance of networks and computer systems |
68N99 | Theory of software |