3 ms·
Well, then the formal verification will be vibe-coded as well, killing the point. More likely is the rise of test driven development, or spec driven developmen
by baalimago 10mo ago
Well, then the formal verification will be vibe-coded as well, killing the point.
More likely is the rise of test driven development, or spec driven development.
- barishnamazov 10mo agoThen should we apply formal verification to the vibe coded formal verification software?
- monkeydust 10mo agoWhat are the paradigms people are using to use AI in helping generate better specs and then converting those specs to code and test cases? The Kiro IDE from Amazon I felt was a step in the direction of applying AI across the entire SDLC