toy projects
-
Designing a Theorem Prover, Lawrence C Paulson
- Implementation in OCaml, https://github.com/jubnzv/folderol
- Semantics and applications to verification - Sylvain Conchon, Antoine Miné and Xavier Rival, https://www.di.ens.fr/~rival/semverif-2016/
- toy-smt in OCaml, https://github.com/Ekdohibs/toy-smt
- A poor man’s MaxSMT, https://yurichev.com/blog/maxsmt/
- SMT Solvers: Theory and Implementation, https://leodemoura.github.io/files/oregon08.pdf
- Internals of SMT Solvers, https://leodemoura.github.io/files/SATSMT2013.pdf
- [kissat][https://github.com/arminbiere/kissat] is an SMT solver written by Armin Biere on a plain C. Simple enough for understanding.
- Semantics and application to program verification, https://www-apr.lip6.fr/~mine/enseignement/l3/2015-2016/project.html
- Build your own model checker in one month - Jin Song Dong, Jun Sun, https://ieeexplore.ieee.org/document/6606751
Learning
- Glossary
- Books:
- Courses
- Learning Tools
- Bugs And Learned Lessons
- Cheatsheets
Tools / Services / Tests
- Quality Assurance Tools
- Test Runners
- Testing-As-A-Service
- Conformance Test Suites
- Test Infrastructure
- Fault injection
- TTCN-3
- Continuous Integration
- Speedup your CI
- Performance
- Formal Specification
- Toy Projects
- Test Impact Analysis
- Formats
Functional testing
- Automated testing
- By type:
WIP sections
Community
Links