ACM Comm 2012 08 Proving Programs Continuous (Notes)
Link to publication |
Proving Programs Continuous |
Proving Programs Continuous
Understanding why programs work well, if only coarsely tested.
Traditional testing will be impossible on evolving software.
People
Ideas
- Software is usually correct or not.
- Formal correctness proofs are difficult because all inputs must be covered. Any gap invalidates the proof.
- Testing assumes that correct output for an input set, including bounds checking, applies for all input sets in that class.
- The software is continuous over that input class.
- Lipschitz Continuous[1]
- Control Theory connection to Programs
References
Internal Links
Parent Article: Reading Notes