4 ms·
> By its nature, formal verification discourages fast iteration. Not necessarily. You can develop the specification and implementation in parallel. That way, a
by staunton 2y ago
> By its nature, formal verification discourages fast iteration.
Not necessarily. You can develop the specification and implementation in parallel. That way, at every point in time, you could have a much more thorough and deep understanding of what you're currently building, as well as how exactly you decide to change it.