التفاصيل البيبلوغرافية
| العنوان: |
Program Correctness through Self-Certification. |
| المؤلفون: |
Namjoshi, Kedar S., Zuck, Lenore D. |
| المصدر: |
Communications of the ACM; Feb2025, Vol. 68 Issue 2, p74-84, 11p |
| مصطلحات موضوعية: |
COMPUTER programming, COMPUTER software testing, SOFTWARE verification, COMPUTERS, COMPUTER systems, SCALABILITY, SYSTEMS design, COMPUTER software |
| مستخلص: |
The article discusses program correctness through self-certification as an alternative to verification or testing. The authors note there are two main verification techniques, deductive proofs and model checking. They explore how self-certification establishes the correctness of every individual program execution by generating and checking certificates. |
| قاعدة البيانات: |
Complementary Index |