Tags
- ArXiv
- Automated proof checking
- Automated theorem proving
- Backdoor
- C99
- CiteSeerX
- Compiler
- Computing
- Correctness
- Deductive reasoning
- DOI
- Formal methods
- Formal verification
- Fuzzing
- Generic programming
- Gradual typing
- Hol
- International Standard Book Number
- International Standard Serial Number
- Jeremy Siek
- Philip Wadler
- Programming language
- Regression testing
- Siek
- Standard ML
- Verification and validation
- Zero knowledge
- Zero-knowledge proof