I enjoyed reading the docs. Great work!
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [ANN] Gospel 0.2.0 | 0 | 388 | October 13, 2023 | |
| [ANN] Ortac 0.2.0, leverage Gospel formal specifications to generate tests | 0 | 273 | April 17, 2024 | |
| [ANN] Ortac 0.3.0 Dynamic formal verification made easy | 0 | 144 | July 9, 2024 | |
| [ANN] Ortac 0.6.0 improve bug reporting | 0 | 123 | March 6, 2025 | |
| [ANN] Ortac/QCheck-STM 0.4.0 Dynamic formal verification beyond one system under test | 0 | 160 | October 11, 2024 |