Do YOU have any case studies or samples built from your specification?
I am not sure if I understand clearly why Kiro's approach would not find the issue.
How is this different from what Kiro does? https://kiro.dev/blog/deep-spec-analysis/
TLA+ and Coq are too hard for most SAAS applications. Tried FizzBee (https://fizzbee.io/tutorials/getting-started/) and P (https://p-org.github.io/P/whatisP/)? These seems quite practical. Coq/Rocq are obviously much…
Do YOU have any case studies or samples built from your specification?
I am not sure if I understand clearly why Kiro's approach would not find the issue.
How is this different from what Kiro does? https://kiro.dev/blog/deep-spec-analysis/
TLA+ and Coq are too hard for most SAAS applications. Tried FizzBee (https://fizzbee.io/tutorials/getting-started/) and P (https://p-org.github.io/P/whatisP/)? These seems quite practical. Coq/Rocq are obviously much…