Program analysis and verification
The methods and the tools that find defects in a program or prove that it is correct.
- Static analysis
- Linters and type checkers
- Abstract interpretation
- Symbolic execution
- Model checking
- Deductive verification
- Proof assistants for programs
- Design by contract
- Runtime verification
This area has no pages yet. The coverage plan lists the pages that it needs. You can write one of them. Read how to contribute.