ChekProp is an LLM-based tool that generates property-based tests for cyber physical systems.
Latest commits.
Builders behind this project.
