https://github.com/konnov/pbt-example-summation
Property-based testing and model checking for simple summation (case study)
https://github.com/konnov/pbt-example-summation
example model-checking property-based-testing python
Last synced: about 1 month ago
JSON representation
Property-based testing and model checking for simple summation (case study)
- Host: GitHub
- URL: https://github.com/konnov/pbt-example-summation
- Owner: konnov
- License: apache-2.0
- Created: 2025-12-20T15:29:06.000Z (about 1 month ago)
- Default Branch: main
- Last Pushed: 2025-12-23T16:22:20.000Z (about 1 month ago)
- Last Synced: 2025-12-25T06:28:26.237Z (about 1 month ago)
- Topics: example, model-checking, property-based-testing, python
- Language: Python
- Homepage: https://protocols-made-fun.com/pbt/2025/12/22/pbt-adversarial-llms.html
- Size: 27.3 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Property-Based Testing and Model Checking for Summation
This repository contains a very simple example of testing a summation function
using property-based testing and model checking. This experiment is inspired by
the talk on [The lazy programmer's guide to writing thousands of
tests][scott-pbt] by [Scott Wlaschin][].
See [this blogpost][] for a discussion on this example, property-based testing, model
checking, and LLMs.
[scott-pbt]: https://youtu.be/IYzDFHx6QPY
[Scott Wlaschin]: https://scottwlaschin.com/
[this blogpost]: http://protocols-made-fun.com/pbt/2025/12/22/pbt-adversarial-llms.html