I enjoyed reading the docs. Great work!
cdaringe
2
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [ANN] Gospel 0.2.0 | 0 | 407 | October 13, 2023 | |
| [ANN] Ortac 0.2.0, leverage Gospel formal specifications to generate tests | 0 | 299 | April 17, 2024 | |
| [ANN] Ortac/Wrapper: a new plugin for specification driven unit testing | 0 | 128 | September 23, 2025 | |
| [ANN] Ortac 0.3.0 Dynamic formal verification made easy | 0 | 175 | July 9, 2024 | |
| [ANN] First release of ortac-core, ortac-runtime and ortac-qcheck-stm | 0 | 324 | October 30, 2023 |