Comment Comment by est > An API you rely on changes, is deprecated, etcFormal verification will eventually lead to good, stable API design.> Users use something in unexpected ways> Complex behavior between interconnected systemsIt happens when there's no formal verification during the design stage.Formal verification literally means cover 100% state changes and for every possible input/output, every execution branch should be tested. parent est 10 months ago
Formal verification will eventually lead to good, stable API design.
> Users use something in unexpected ways
> Complex behavior between interconnected systems
It happens when there's no formal verification during the design stage.
Formal verification literally means cover 100% state changes and for every possible input/output, every execution branch should be tested.